Add a page for the personal copy of mikidown to let people know
what's the difference between the two.