Might be good to remove `docs/problems.html` from the repsitory since it is only an intermediate file used in generating `docs/index.html`
Might be good to remove
docs/problems.htmlfrom the repsitory since it is only an intermediate file used in generatingdocs/index.html