The pm-board web UI and its task runner are retired in goodcode/pm-board#38.
Every requirement on this board was migrated to a Gitea issue labelled
`Requirement` and every implementation choice to an issue labelled `Choice`,
so the local board file has no remaining source.