0.1.2: a flashier widget, the phone runner says what it runs and rests when warm, Markdown proposal descriptions 797eca1a3e64

# Changelog

- **A proposal's description is Markdown:** it showed as plain text, `##`, `**`, backticks and table pipes included, with the source's line breaks; it now renders as an issue's does (headings, emphasis, code, lists and tables, lines joined into paragraphs).

android.experimental.enableScreenshotTest=true

# The app's version (#7): the release job runs when this changes, and the

# version code follows from it (major * 10000 + minor * 100 + patch).