Merge branch 'show-in-results-if-manual-exists' into 'develop'

Show manual badge in search results if manual exists

See merge request t3o/ter!307
4 jobs for develop in 5 minutes and 57 seconds (queued for 2 seconds)