I’ve been using DuckDuckGo as my default search engine for a while. TIL that DuckDuckGo also has practical shortcuts called bangs for searching on a specific site.