git/local: one more try to get highlighting to work