Ben Reiniger wrote on Thu, Nov 5, 2015 08:25 PM UTC:
I would leave it in, but add a rook to, say, 4134.
I had realized that a K+Q wins against bare k, but hadn't bothered to put much thought into other mates (even non-forcible ones) before. I think these are quite interesting.