Remove mentions of the library/ directory.

We might want to add an extra note for the two remaining lines. Not sure how these differ from just running `mspec core` though.