I think I understand why we do that, but I think it does not belong here.
Not a blocker, this comment is just for the record.