This documentation processor is a different thing, even though it may be produced by the same people.