Switch website search on the search page to use DuckDuckGo.


git-svn-id: svn+ssh://svn.freebsd.org/doc/head@45927 c2e8774f-c49f-e111-b436-862b2bbc8956
Add EN-14:12, SA-14:24, SA-14:25 and SA-14:26.


git-svn-id: svn+ssh://svn.freebsd.org/doc/head@45928 c2e8774f-c49f-e111-b436-862b2bbc8956