OpenWPM instrumentation library for WebExtensions. Merged into the main OpenWPM repository, thus archived - View it on GitHub