Comment by bvdbijl

Please note that the keys will not be truly deleted, because they are still in the GIT history