Chris Wong

I've noticed a few queries for countries ("germany", "portugal"). Most likely, these people are looking for Rustaceans nearby. We can either: * Grab the location from the user's GitHub profile...

Rewrite the backend in Rust

2

crates.io's backend is written in Rust, and it works quite well. It would be nice if Rustaceans was too, especially as libraries like Hyper and Iron have cropped up in...

typedoc 0.4.x only supports TypeScript 1.8. To support the newer TypeScript 2.1, we have to use typedoc 0.5.5 instead.

Script escaping is incorrect

8

Thanks for maintaining this library @magiclen! I found an issue with the [script escaping code](https://github.com/magiclen/html-escape/blob/8b7dd60fb37c9246ace45b58a373cc13eb4fc28d/src/encode/element/script.rs). It appears to escape `` only, and leave `

According to [this comment](https://github.com/rust-lang/rust/issues/31407#issuecomment-384556620), we can use a `union` to construct the float value more directly. It might be worth going through that route to avoid depending on the float...

feat(templates/install): warning for distro package managers

4

It's implied by the rest of the docs, but I think it's worth making it explicit, given how often the problem appears on Zulip.

See [Zulip thread](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Unexpander.20can't.20match.20expression.20with.20nested.20parentheses).