The counterpart of ui-smoke.md: a commit on main that the ui-smoke
branch does not have, so a merge request from main to ui-smoke has
something to carry.