Paul Austdal

> Side note: @austpaul have you reported the bugs in rc.72 or are existing bug issues opened? Hi. Not completely sure if all issues are already registered. I recognised these,...

@adamaltman I have registered an additional bug report for redoc. https://github.com/Redocly/redoc/issues/2079