Double click the title to change its text
These are versions of this script where the code was updated. Show all versions.
Rewrite to much simpler prompt() approach, for not to have to deal with any workarounds whatsoever.
workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1291467
