Update documentation, mirror links, formatting.