PLACEHOLDER

This is just a placeholder for people to add stuff about different Linux distributions, Windows installers, the names of package maintainers and release managers for particular platforms and stuff like that.