I do actually think I should do, like, a proper website for Clerotri... perhaps a more friendly way to show docs than GitHub