Yeah, unlikely they use Github much internally.

At least they finally fixed the sidebar to use anchor tags instead of divs, so right-click can open the file in a new tab. It's still a bit wonky, since the a tag is only the size of the filename, with zero padding. It was broken since they introduced their new UI sometime last year.

Maybe by the end of 2027 clicking a filename actually takes you to it.