Initiator:
	Freek Wiedijk <freek@cs.ru.nl>

Original Author:
	John Tromp <john.tromp@gmail.com>

Current maintainer:
	Joachim Wiberg <troglobit@gmail.com>

Contributors:
	Mattias Walstrom <lazzer@gmail.com>
