Right now these are only shown once the first time a user opens a DevTools version, but it would be useful to be able to re-open these release notes.