TIDOC-1021 Tizen doc fixes (master version)

These fixes are already included in the 3.1 backport PR for tizen docs.