That workaround installs an even older version of the application than the most recent one where the media keys still work (220.127.116.113.g34a58dea-5). Unfortunately it doesn't actually solve the problem of the media keys being broken in recent versions of the software.
Hopefully this issue exists in the dev team bug tracking system and is getting the attention it needs.
ArtGravityRising Star 8
Help others find this answer and click "Accept as Solution".
If you appreciate my answer, maybe give me a Like.