Add note about server paths for Github manuals