I understand that file is not intended to be modified, but even for our own good we can allow some instructions to stay ;-)