turn off javascript (I didn't even know it was a slide deck, I have js off (NotScripts extension) in Chrome). To be fair to Russ, it is his slidedeck from doi

turn off javascript (I didn't even know it was a slide deck, I have js off (NotScripts extension) in Chrome). To be fair to Russ, it is his slidedeck from doing his talk, not a publication. It was only the 2nd IWP9, we've got a bit better since then :)