Generated documentation
Problem: documentation is out of date

Solution: we can rebuild it!