Discussed this with seb128: pushing this to verification done as per comment 11 (which references an independent confirmation).
Discussed this with seb128: pushing this to verification done as per comment 11 (which references an independent confirmation).