display-time-mail-file customization is confusing