v3.13.1 — Your boards: most recently used first

A small follow-up to v3.13.0.

Your boards: most recently used first

/start listed your boards by when this browser last gained owner access (creating a board, opening its owner link, recovering it), not by when you last used them. A board you open every day could sit under one you set up once and forgot.

Opening a board, or any course in it, as its owner now moves it to the top of "Your boards". Classmates' visits don't change the list, and a board that's already first writes nothing, so most page views cost nothing extra.

Before you deploy

Nothing: no migrations, no new env keys.

207 tests.