Quick links: content, navigation, search.
extensions: fix dependency checking
Fix extension dependency checking by unhiding "fd_ext_depends".
(I accidentally broke this with the change on 2020-03-30 to hide symbols by default.)