What is @stjepang (author of Rust's unstable sort, and many other contributions) doing now?