chiark / gitweb /
standardizing some of Raphael's entries