Log Message:
tex-thmtools{,-doc}: update to 75

74
Fixed a bug that when `thmbox` option loads `thmbox` package, the modification
to `proof` environment is not fully canceled

75
- Fixed a manual regression.
  Loading package `doc` v3 disables some local patch and causes
  typeset to marginal notes. For a quick fix `doc` v2 is loaded.

- Pagination and line wrapping are adjusted to make the manual
  slightly better.

This release contains no code-level changes.