I understand. So, in essence, this is a very known bug (I've suspected as much), and the two mentioned workarounds would be 1) preloading another libgl version or 2) using the NoDRI option Can anyone tell me what are the pros and the cons of each one, and is there any other workaround known? Thanks!
