On Monday, February 8, 2016, RM <richmondmathewson at gmail.com> wrote: > > > Could everybody who cares about this sort of thing indicate whether they > prefer the coloured icons > or the black ones? > Black ones. -- Trevor DeVore