I named it this way in #4792 :)