Xiaomi - Redmi 3S - Mi8937 - Documentation Suggestions

…Enter suggestions to improve documentation in this category. Do not raise bugs or issues here…

Maybe you could update the link to the latest dev build -

Add information about the kernel version somewhere.
Is Retrofit Dynamic Partitions used?

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.