TODO
----

* Write gtkshell manual page, such that it reflects actual API.  

