DEPRECATION WARNING

This documentation is not using the current rendering mechanism and will be deleted by December 31st, 2020. The extension maintainer should switch to the new system. Details on how to use the rendering mechanism can be found here.

Changing or customizing the extension

If you want to change the extension itself, it is highly recommended to contact the developers and contribute your changes back to the project. This has several advantages:

  • You can still get further updates of the extension without having to apply your changes again.
  • The extension developers can help you integrate your code better with the other parts of the extension.
  • Other users of the extension can benefit from your contributions.