It's already documented in `Catch::statement`.