fix(bash): correctly highlight doctags in comments again (#4234)#4239

wolfgang42 wants to merge 1 commit intohighlightjs:mainhighlightjs/highlight.js:mainfrom

wolfgang42:wolf/bash-fix-todowolfgang42/highlight.js:wolf/bash-fix-todoCopy head branch name to clipboard