On 26/04/17 23:20, Kirk Hall wrote: > I'm concerned that if we create yet another public web page for this, > it won't be updated. That is certainly a risk; which is perhaps why the "Github Issues" method that someone proposed might well be the way forward. Gerv