gitweb: export options