"they're documentation is generated", what does this mean? generated in the same run of rustdoc (impossible, right?), generated locally?