← Feed @6d03@mathstodon.xyz 2026-04-30 13:35 UTC @leah @wren6991 I guess renaming or deleting the module file should also do it. Replies (0) No replies.