Remove some Lwt stuff from `Extra`