Word of the day is ‘quiddler’ (19th century): one who pays great attention to trivial matters as a way of avoiding the important ones.