Open SWISH as an IDE for developing a remote application.
The following predicates are exported, but not or incorrectly documented.