This key has been removed in the meantime. I'll fix.