This is an old revision of the document!
<html>
<center>
<a href="https://www.patreon.com/bePatron?u=36323183" data-patreon-widget-type="become-patron-button">Become a Patron!</a><script async src="https://c6.patreon.com/becomePatronButton.bundle.js"></script>
<br/><br/> <a href="https://gplenforced.org/"><img alt="This project enforces the GPL." src="https://img.shields.io/badge/GPL-enforced-blue.svg" /></a>
</center>
</html>