_CoqProject won't be loaded from subdirectory

[Alizter]

The _CoqProject finding logic doesn't handle the case when _CoqProject appears in a subdirectory of a workspace. This can happen if a certain folder contains all the Coq related things. This is fixed by moving the _CoqProject one level up, but that isn't ideal.

[ejgallego]

I have been thinking about this, can you provide a more concrete example?

I am wondering if that use case would be covered by just using multiple workspace roots (and saving them in the config file)