build docs with newer nixos

Somewhat incidental simplification ... pulled out of !112 (closed), I can't remember why it seemed important there, maybe just reducing build time by building less software.