That was fast, only a few hours ago the commit landed.

No objections about having this in, although let's use AC_CHECK_HEADERS.

I'm wondering if we shouldn't give it a day or two before landing though.
Obviously waiting for a man-pages release would be a serious overkill (afaict
it will be within ~4 months).