Re: [PATCH] Cosmetic enhancement to old-whitespace-mode