This is the legacy version of We will be shutting it down on 15 December 2020. Please switch to a supported browser or device. You can see a list of supported browsers in our Help Center.
Ozh Richard Oct 19
Replying to @jrf_nl
Hi, not using Twitter much. Best way to get in touch with me is email, ozh at ozh dot org