`make doc` tells us: it does. :)