Version 0.9.3: general update of version numbers...