I did manage to boost my FPS slightly by using Lutris instead of PortProton. Now my FPS is hovering around 45-65, which is still far from ideal. I also noticed something strange: changing the graphics settings seems to have almost no effect on performance, only on the GPU load.