Minor ammend to 1.0.0.2: link the docs mirror