Use the Spacegray theme after all
Switch to a new Linter package