David Whitehead (modified and augmented notes; added a keyword; cosmetics) on 22 November 2004@03:11:21.David Whitehead (expanded and tweaked n.2; more keywords) on 9 October 2011@07:55:14.David Whitehead on 11 January 2013@06:24:44.