Texdoc 4.0 Release

[wtsnjp]

We will shortly release the next version. This will be a major version update because it includes the following relatively large changes:

• 79

• 91

By now, we plan to resolve the following issues before the release:

• 77

• 78

The rest will be worked on after the release.

[wtsnjp]

Texdoc 4.0 has been released 🚀