Improve documentation of maintenance/sql.php