Ticket #1620: change file highlighting defaults.