By the way, Apple has deprecated developer-signed Safari extensions in MacOS Mojave, so before Fall I'll have to build a new Safari extension. I am annoyed at the extra work, but this move is designed to keep (other!) extensions from tracking you, so it's hard to complain.