Apply patches from the server

Those are all the changes which were made on the server. We should check which are actually useful or which might get us in trouble.