On Jul 31, 2018, at 10:35 PM, Christof Ressi <christof.ressi@gmx.at> wrote:damn, I didn't know about git.puredata.info!