Unrelated to my other comment, but the double-click-to-switch-color-themes & the constant animated highlights are driving me insane. It's like trying to read a

Unrelated to my other comment, but the double-click-to-switch-color-themes & the constant animated highlights are driving me insane. It's like trying to read a book while someone else is trying to flip pages and add their own highlighting.