"System > Developer options" menu is removed after updates

• /e/ version: 0.13-o-2020120989181-dev-whyred
• Device model(s): Xiaomi whyred

Summary

I'm not 100% sure, but it seems that every time I update the system,
the "System > Developer options" disappears/is removed.
It must be enabled again by tapping 7 times on the build number.

The problem

Steps to reproduce

1. Enable the Developer options
2. Update the system

What is the current behavior?

Developer options menu has disappeared, and must be re-enabled.