Could you add the uuid of the player in /whois?

This has been added by d7685dc and is available from build 499. You can get the latest build from the build server.