@PresGas Yeah. We’ve been using oddmuse.org for many years and only added GitHub as an afterthought so I feel quite comfortable using it for small projects like mine.