@ptitSeb Remember the time I tried running the Chromium browser under glshim and some people could swear it was running faster? Well, it seems glshim has become much better, exposing more features, and that has made Chromium visibly slower in the same experiment. Probably not worth...