axolotl.rs: decrypt; santo.rs: allow rustdoc to see the submodules