That didn't work either. Apparently, it has something to do with Tor Browser, where it didn't work although I enabled JS. Pasting worked fine on another browser.