5 new features/ features improvements and 4 bug fixes.
9 new features/ features improvements and 4 bug fixes. See the history
Fix: An error in ai_external.js was fixed, which prevented the external workaround to work.
