lib/MySQL.*.sql.make: Documented that $server can also contain a username (which will be used by ssh)