Fix theme switcher

4 jobs for 340-switch-positions-of-themes in 9 minutes and 52 seconds (queued for 26 seconds)