DuckDuckGo bang for Fedora Docs?