Release 0.1.2. Better documentation, as well as a few other things.