Severin,
I have added link from the HotPot download page on Moodle.org to the change log on github.com. Thanks for that idea.
Today, I made another update related to the logging of HotPot events. I believe and hope it is the last update I need to do related to logging. I suggest you update at your next convenient opportunity.
regards
Gordon