Merge "Clean repo: mano directory not used"