For naming of weekly ROMs, would it make sense to add a full digit year (ex. 2023.7.3) to avoid confusion with stable ROMs? For example, by numerical sorting, Xiaomi 13 Fuxi stable ROM would be "newer" than weekly, which is not the case as stable was released in June 2023, but weekly is July 2023.
Weekly: xiaomi.eu_multi_FUXI_V14.0.23.7.3.DEV_v14-13.zip
Stable: xiaomi.eu_multi_FUXI_V14.0.29.0.TMCCNXM_v14-13.zip