Source code for my talk on browser extension security