gitweb: Relabel "head" as "HEAD"