Updated my search engine for the PTS Dictionary. Thanks to Piotr for figuring out what had changed.
Opera 12.17 has long since ceased to be my default browser. I now use Vivaldi, created by the former CEO and founder of Opera.
Since version 1.5, Vivaldi has had a “Search With” context menu.
To add a search engine for the Pali Dictionary, right-click in the site’s search field, and select “Add as search engine…”