https://www.fosslicious.com/2018/05/how-to-change-gimp-210-themes.html