Version 0.9.5 is done