Thread:Andisimon/@comment-4786757-20181224212231/@comment-34296592-20181227115558

I noticed that too. I think they added it in a separate edit.