On Tue, 2 Jan 2024 13:58:50 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > The html file also needs to be regenerated. Let me know if you need help with that. Yes indeed. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17208#issuecomment-1874073136