Very cool. I used to make JS-free navigation menus by using a hidden checkbox for keeping the state of whether it should be displayed. Cool to see more proper APIs being introduced for this.