Commits for 2020-11-08

The following 1 changes have been made on 2020-11-08:

- generate docs fixes (Author: Mirko De Grandis, Hash: #22d2ab8)

Check it out. More are coming soon!