I’m trying to move from Chrome to Duckduckgo browser, but I’m missing some extensions, among which is Tampermonkey. Does anyone have an idea how to get it to work? Thanks!