That sounds like a great invention that my toilet unfortunately doesn’t have - and although I know how the mechanisms in my toilet work I’m unfortunately not enough of an experience to retrofit something like that in lol

But it’s something I’ll keep an eye out for when I eventually buy a house, assuming that ever happens lol