/ ‘theming/experiments/gedit-tabs-separators-are-noisy.png’