Aaand hopefully Git/PyCharm-related chair-keyboard interface bugs are over.