Update version to 0.8.0+; fix doc type (GibHub)