Looks like a very valid request. We will need a little time to verify details and internals though.
Maybe we should even output something like “This query is no longer running on the server. It may have been killed by another client.” That would be useful to know when it happens.