So now that we all know that they know what we know about the buggy Nexus 4 (and 7, and 10), perhaps we should all just sit back, relax, and let Google brood further about when they might, or might not, get around to fixing their broken Android infrastructure.