update-server-info(category27-allgemeinwissen.html) - phpMan

git-update-server-info (1) - Update auxiliary info file to help dumb servers