Async_extra basically only exists for historical reasons, I think, and may be merged into Async in future.