Re: doc-mode font-lock-warning-face