Steam on Linux Use Easily Hits an All-Time High in November