Rico Neitzel [https://twitter.com/riconeitzel] told me back in the days, that
during Magento updates files gets deleted, therefore it is a bad idea, therefore
you want to run a patch (not the ones from Magento, but a patch between the
versions) over your Magento installation.
After fiddeling around