window.ALL_CRATES = ["docserver"];