Gedit Technology

This website has been moved here:

https://gedit-technology.github.io/

What remains

• Tarballs (will need to be uploaded to GitHub).