/patch-GUI_xephem_ps_c/1.3/Tue Aug  7 10:20:23 2018//
/patch-GUI_xephem_xephem_man/1.2/Fri Mar 11 18:17:42 2022//
D
