font-lock-function-name-face: more subtlety