A notice for devs. These are good for things that are helpful to devs, such as warning that Workers were disabled, which is important to devs but not end users.
function info(msg) {
  if (PDFJS.verbosity >= PDFJS.VERBOSITY_LEVELS.infos) {
    console.log('Info: ' + msg);
  }
}