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