On 2016-02-04 09:10:39 +0100 (+0100), Andreas Jaeger wrote: > A friendly reminder that this has not happened yet.. [...] It was still way down my to do list, but I went ahead and took care of it just now. -- Jeremy Stanley