Some tweaks to the Red Hot Hat page