v1.3.0: First stable release

* Merged branch 'user-interface'.