Makes document title element editable
Versión del día 14/11/2022. Echa un vistazo a la versión más reciente.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=1291467
