tag:github.com,2008:https://github.com/idiap/TactileErgodicExploration/releases Release notes from TactileErgodicExploration 2025-01-09T09:05:05Z