v0.7.2

Commits since v0.7.1:
- docs: two 0.7.2 sentences carried two ideas each
- feat: sync goes both ways, and the decks page says where it stands
- chore: declare 0.7.2, sync symmetry and the decks control