Mirrored repository. This software is partly being developed in the context of the RoboHow project.