if (location.protocol == 'file:') {
  document.title = '[f] ' + document.title;
}