For the record, they seem to have been introduced here in this commit: 90494600d357d01310d8da1310b6ad02f56de22c