@walkingrandomly yeah, that's not a problem. But github provides a lot of useful stuff that would be hard to replicate if they disappeared