[Arnavion]

I used devtools to delete archive.org's header div. But also, you can just type with your keyboard, including Enter and Backspace.