Nice! I’ve heard of redot, but haven’t used it myself. But the community and open source aspects as well as not having to pay any publishing fees seems super great. It definitely seems worth looking into so I’ll have to do that!
