external_doc doesn't work with crates.io yet :(