Exclude from search

In post-type.php is says:
exclude_from_search = false

So docu posts show up in search by default – why?
Maybe I’m wrong, but docu posts are meant for editors only, not for visitors and should NOT appear in search results.

https://wordpress.org/plugins/docu/