More progress and... documentation.