No shennong TWRP file? When I open the folder at https://sourceforge.net/projects/recovery-for-xiaomi-devices/files/shennong/ it lists zero files, but I find recent references from forum members talking about installing it, and even linking a file directly (example). Has it been found to be...