"Only this version works for me. If you have problems with games not launching, than it is because of changes in Proton 5.13. You can change Proton version in Steam Settings/Steam Play to make everyting work again. Change it to 5.0."
"IDE is great. But DO NOT INSTALL using this package - install using mono-complete."