Quick links: content, navigation, search.
Fix compilation warning due to missing header, reported by Thomas