[docs] route redirection using the history API
[docs] route redirection using the history API

impinball/mithril.js,MithrilJS/mithril.js,MithrilJS/mithril.js,pygy/mithril.js,impinball/mithril.js,pygy/mithril.js,barneycarroll/mithril.js,barneycarroll/mithril.js