We need doctrine/annotations only for autocomplete, so we can change composer to set doctrine-annotation only in require-dev (cf. Vincent Simonin)