Working code examples from Mithril.js Guide and other docs