Comment by 01001010

Update: The extension is now available through the Safari Extensions Gallery[1] and has, as far as I can tell, replaced the previous search extension.

[1]: https://safari-extensions.apple.com/details/?id=com.duckduck...