The docs now contain a step-by-step instruction set describing how the Developer console can be opened.