Commit 80ff72f39dc833118426521f82f6bf614ef274d5

Khaled Hosny 2021-08-18T13:09:03

[doc] Misc fixes