Manage PenBot-Mini

The creator of github.com/dorianborian/penbot-mini can claim, edit or remove this robot. Sign in with GitHub so Robotheca can check that the repository is yours.