Shall we push for a new release? Here is one more PR to update some docs #14 Anything else required for releasing 0.1.12?