Fix public docs HTML title