Hints.md: fix formatting.