Release v1.3.1

Maintenance and documentation update, no functional changes.

- README.md: update playground link
- go.mod: update module dependencies
- Add a missing leaktest check.
- all: update doc comments to add link tags