@tjvbull The extensions are used to add features to Opera and other browsers.