It seems that quickdocs already has a good handle on generating documentation for the entire Quicklisp library ecosystem. I think keeping a separation between the language standard and specific libraries is valuable, as nikodemus suggested on reddit. To that end, would you be open to removing libraries from the goals of minispec? IMHO, it would be reasonable to have a recommended libraries section on the minispec site like (or perhaps cribbed from) the one on cliki.