Description: a detailed description [to be written by someone]
References: bibliographic references (if applicable) [to be written by someone]
Maintainer: Russell O’Connor
Developers: Henk Barendregt, Luís Cruz-Filipe, Herman Geuvers, Milad Niqui, Randy Pollack, Freek Wiedijk, Jan Zwanenburg