Formal sidereal_time.__doc__ such that build_sphinx is happy