clean up, and better document, the ceui API