Documentation infrastructure

What do we think?