Tweet · 18 Oct 2016, 16:05 UTC

Replying to @dginev

But at the semantic level they have essentially no difference already anyway. This is a pragmatic decision to make, not principled.