My man page index is back up. Useful tool for myself, basically, but anyone who is interested is welcome to use it.