Merge branch '352-add-option-to-hide-the-extension-manual-button' into 'develop'

Resolve "Hide the "Extension manual" button if a link to "External manual" exists"

Closes #352

See merge request !355
3 jobs for 244-link-to-manual-on-main-page-and-search-results in 5 minutes and 45 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #8444
test

00:01:55

 
  Build
passed #8445
build

00:02:04

 
  Layout
passed #8446
layout

00:01:44