A Web Extension to facilitate replacing sites' js with user-supplied scripts