Actually, our First Start guide for developers has the correct Mithril link. Flarum is still using 0.25 and the correct link is contained there. The link you posted above is for 1.0, which we aren't using yet and may contain some changed items that won't work in Flarum at the moment.