Typing lag

Since this morning there's been general lag/delays during typing and in general while trying to use Discord, turning the theme off fixes it.