Respect ourbigbook.json htmlXExtension on ourbigbook.json redirects

Would require either moving htmlXExtension vs --no-html-x-extension processing out of index.js, or more ideally moving the redirection generation into index.js.

But aint't nobody got time for that!