docs: public final void render(GL2 gl) {
      gl.glMatrixMode(GL2.GL_PROJECTION);
      gl.glPushMatrix();
      gl.glLoadIdentity();
      gl.glMatrixMode(GL2.GL_MODELVIEW);
      gl.glPushMatrix();
      gl.glLoadIdentity();
  
      gl.glOrtho(0, width, 0, height, -1, +1);
      gl.glColor4f(0f, 0f, 0f, .5f);
  
      // Fade background:
      gl.glBegin(GL2.GL_QUADS);
      gl.glVertex2f(0f, 0f);
      gl.glVertex2f(width, 0f);
      gl.glVertex2f(width, height);
      gl.glVertex2f(0f, height);
      gl.glEnd();
      
      renderContents(gl);
  
      gl.glMatrixMode(GL2.GL_PROJECTION);
      gl.glPopMatrix();
      gl.glMatrixMode(GL2.GL_MODELVIEW);
      gl.glPopMatrix();
    }