Patch Mithril with a route shortcut attribute

Instead of:

<a href={app.route.user(user)} config={m.route}>

We can use:

<a route={app.route.user(user)}>

framework/core/js/lib/utils/patchMithril.js

@@ -14,6 +14,13 @@ export default function patchMithril(global) {
       m.bidi(node, node.attrs.bidi);
     }
 
+    if (node.attrs.route) {
+      node.attrs.href = node.attrs.route;
+      node.attrs.config = m.route;
+
+      delete node.attrs.route;
+    }
+
     return node;
   };