Tiny tweak to header/logotype (follow-up for #23).