Final tweaks before releasing 0.9.5.