manual page for astroconfig