20250527 – Migrating away from old header

Our familiar banner, which was an image

…is being replaced with CSS styling.

Your mobile experience should improve!
(But we still have sentiment for the old logo.)