doc: Split out EasyMini into a separate manual