No you were actually right and this was removed in f3b212c. I commented from the mobile app and your comment appear as a general comment on the PR. Sorry about that.