The “very fast GPU” seems to contradict my performance timings above. The other options don’t seem to make a difference (on my Linux machine).
What are these settings supposed to do? Was this advice intended for the Windows issue or as a general performance advice?