nl_tokens: 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 .
pl_tokens: function <mask> ( msg ) { if ( PDFJS . verbosity >= PDFJS . VERBOSITY_LEVELS . infos ) { console . log ( 'Info: ' + msg ) ; } }