When I click on the Web IDE docs button, it would be more useful to go directly to the firmware section of the documentation for the currently selected hardware. For example, if I’m developing for the Photon, go to https://docs.particle.io/reference/firmware/photon/
Right now, it goes to the “Getting Started” page.