Abstract language, hyperref beauty, pound proxy, cleanup