On Thu, 12 May 2022 19:57:18 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > Jesper asked me to remove those files :). If I do this before splitting index.md, that patch gets easier. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/guide/pull/83