Inter-doc navigation + some minor changes
Merge pull request #722 from mmitlin-dell/pull-req-master-2cc39cf3de5eeeb81349f7ed27534f2335009f68

Inter-doc navigation + some minor changes [1/1]