remove server_variables_doc.php and add a function to return doc links