by Ken Task.
Confirmed. You are indeed correct. A few months ago going to /admin direct didn't work and the only way to get out of maintenance mode was via CLI or adding a line to config.php. Still there isn't any reference/mention to that little trick to get out of maintenance mode. Guess one could put the link in the message for maintenance mode for other admins not as aware.
'spirit of sharing', Ken