gitweb: New improved formatting of chunk header in diff