Comment by m4rtink

Would be quite different if they patched it and broke important extensions, possibly facing serieous outcry and bad publicity.