Version 0.9.3: Many new features, many bug fixes