To help with #8784. The following parts of libextra would need to be moved: - `time.rs` (#12411) - `enum_set.rs` (#12415) - `tempfile.rs` - `json.rs` (#12453)