Happy Mining: Happy Mining Update

Dear Community, A while ago we published an announcement about future extensions to Happy Mining, which we have since removed. From the four planned phases, we have reduced the size to one update. The reason for this de…