- https://github.com/mbeddr/mbeddr.core/wiki/Building-mbeddr - `Setting up your local MPS` is already migrated - Should `Installing additional` tools and rest be moved?