So, because it was a terminal, to exit it I automatically hit Ctrl+D, which bookmarked the page.
Well played Karlsteltenpohl, well played.
Well played Karlsteltenpohl, well played.
Granted this does happen a lot on all other sites when typing but being in a terminal much instantly triggered it.