@fcampo, you're right.  I see the ID has been changed already, as per Axel's review in bugzilla.