Re: DuckDuckGo bang for Fedora Docs?