Log Message:
tex-changes{,-doc}: update to 3.1.1

Release 3.1.0 introduces a new script for markup removal. Furthermore,
the manual has been updated.

Release 3.1.1 is a bugfix for uneven dot fills in summaries.