Store Greaselion extensions in user data dir and delete on exit#7141

Merged

emerick merged 1 commit intomasterfrom greaselion-localizations-race

Nov 16, 2020

+20-15

Commits on Nov 13, 2020

Store Greaselion extensions in user data dir and delete on exit
emerick
committed