Thank you for this. I built a similar open tool for generic mouse customization on macOS (https://github.com/pokstad/mousechords), but I also needed an open Bolt receiver configuration manager.