window.ALL_CRATES = ["docs"];