Rated 5 out of 5 stars

deur John Golby op Feb. 1, 2017 · permalink

Always use this when I uninstall an extension rather than leave debris behind. BTW, I have one preference named gub which has one value - anybody know what that Is ?