There are many duplicate entries in the repository, such as SomeTheory.mhtml alongside SomeTheory.txt, which takes up unnecessary space and can cause confusion.
Evaluate whether both formats are needed. If the content is identical, consider keeping only one (e.g., .txt for better accessibility).
If there are differences, document them clearly or merge essential content into a single file.
This will improve clarity, reduce redundancy, and potentially optimize the repository size.