On 06.10.19 21:07, Christof Ressi wrote: >> so I wondered whether we should direct the people to the github tracker >> instead. > > My opinion: yes! +1 sourceforge and subversion smell funny