Any particular reason for not making this one into `///`?

(r=me)