Oh wow, that's a very solid annotation effort And definitely interesting that it works well at a large scale like this.
Ah, I think with this many labels, the default header (which is sticky) just ends up covering them. But you can add a line of CSS to your global_css that sets a maximum height and makes the container scrollable. See here for details:
And definitely interesting that it works well at a large scale like this.