Context Navigation

Changes between Initial Version and Version 1 of Ticket #56070, comment 4

-                      initial
+                      v1
 Along the same lines, aside from some very specific exceptions - the groups being run separately in CI -, IMO the `@group` tag also should be considered discouraged as the [https://phpunit.readthedocs.io/en/9.5/textui.html#textui-examples-filter-patterns `--filter`] CLI argument of PHPUnit has come a long way and is generally much more versatile than using `@group`.
 For documenting the format, it might be a good idea to also mention the `@coversNothing` tag in the `@covers` block as this is a tag which will at times be used.
+For documenting the format, it might be a good idea to also mention the [https://phpunit.readthedocs.io/en/9.5/annotations.html#coversnothing `@coversNothing]` tag in the `@covers` block as this is a tag which will at times be used.
 Additional PHPUnit specific tag to consider adding to the format: `@doesNotPerformAssertions`.
+Additional PHPUnit specific tag to consider adding to the format: [https://phpunit.readthedocs.io/en/9.5/annotations.html#doesnotperformassertions `@doesNotPerformAssertions`].
 For the record, also note that the `@ticket` tag is actually an alias for the PHPUnit `@group` tag.