Hi,
Xiaomi Mido is no longer supported by Lineage, it has long since disappeared from the download.
/e/ seems not to provide security patches: Xiaomi Redmi Note 4 - Mido or SnoopSnitch no longer detects them (I don’t know if a ticket has been opened in Snoopsnitch). Every Mido update from /e/ isn’t about security. Wouldn’t it be the case that there was a section where you inform the devices you no longer support?
Thank you