Versie door WTranlatebot (overleg | bijdragen) op 31 jul 2021 om 13:55 (Bezig met het importeren van een nieuwe versie uit een externe bron)
Scripts en Extensies
Met browserextensies en scripts kan functionaliteit worden toegevoegd aan de editor.
Deze extensies en scripts zijn beste te gebruiken met Chrome. Firefox zal ook werken, upgraden naar een nieuwere versie kan nodig zijn.