On Monday 11 January 2016, Sebastian Kügler wrote: > How to go about it? I'd be cool with just deleting it. If anybody wants to > keep it, please propose how it should reflect that the info is not recent, > or offer to update it. delete it and if somebody wants to start catalogating issues invite him to re- create it? -- Marco Martin