Clean up the RANDR extension code in several respects. Output is now not only consistent but actually useful.