Comment by pfdietz

> But I don't think anyone has demonstrated

Arguments like this really annoy me, if it's clear there's not a serious obstacle. It's just a "nothing can be done for the first time" argument.