Xiaomi - Redmi 3S - Mi8937 - Documentation Suggestions

There is an issue with recent builds that the pages are not fully updated due to what is reported as a “failed to publish” error. The matter has been reported and apologised for here Week 41, 2023: Development and Testing Updates with a workaround.