MithrilJS/mithril.js ? reverse-engineered prompt