[PD-dev] switch bugs.puredata.info to github?