This is alternative API documentation generator, which seems to play much more nicely with our codebase than PHPDocumentator.