Regen docs with new Jekyll and friends. Some minor encoding and tagging changed