Renamed to sealrs.

New crate is [here](https://crates.io/crates/sealrs).