Who cares, geez. Is a single github issue so important that this needs to land on the front page? You can move it and configure your own env to have it wherever you want.

I use pi and couldn’t care less.