New review comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25313#discussion_r499144869

Comment:
Can't they detect that `hotdoc` isn't available?