Comment by layer8

For didactic reasons it’s preferable to consider it a bug.