doctrine/annotations is not required if you have switched to attribut…

…es (#1605)

docs/guide/migrating-to-v4.md

@@ -1,10 +1,10 @@
 # Migrating to v4
 
 ## Overview
-* Doctrine annotations library must now be installed manually: `composer require doctrine/annotations`
 * As of PHP 8.1 annotations may be used as
   [PHP attributes](https://www.php.net/manual/en/language.attributes.overview.php) instead.
   That means all references to annotations in this document also apply to attributes.
+* If you haven't switched to attributes yet, the Doctrine annotations library must be installed manually: `composer require doctrine/annotations`
 * Annotations now **must be** associated with a structural element (class, trait, interface), a method, property or const.
 * A new annotation `PathParameter` was added for improved framework support.
 * A new annotation `Attachable` was added to simplify custom processing.