Corrected url for BitRot source code
Shifted Ephemeris to Docbook