Documented the `@requires OS` annotation.