Ben Reiniger wrote on Thu, Nov 5, 2015 03:25 PM EST:
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.