Docs - html page have no encoding

[dos65]

For example here at bottom of context's internals list occurs invalid characters

[felixmulder]

Thanks for reporting this. You're more than welcome to fix this :)

[felixmulder]

Probably here somewhere: https://github.com/lampepfl/dotty/blob/master/docs/_layouts/default.html

[dos65]

Ok - will do