Update mini-manual.md