Inject HTML into PenguinMod Editor

Inject custom HTML into the PenguinMod editor page

As of 2024-09-16. See the latest version.