[#1] Set HTML title to make browser history useful