I haven’t, but I’m assuming those were (possibly old) Linux native games? Since proton shouldn’t have any dependency issues, especially since Steam installs that itself.