A collection of useful files from DJB.