Playground issue

I just noticed that someone updated the playground folder and it became lowercase. So the existing links:” for example would not work." would work.

Can someone advice if we should change our links or the folder will be fixed?

We just reverted it but also we are not maintaining raw.githubusercontent and it would be better to rely on the playground url instead as we can not ensure that our internal structure will not change in future.

See also