This crate was renamed [pond](https://crates.io/crates/pond) to
prevent confusion with other similarly named crates.