require_once("docutil.php"); page_head("GUIs and add-on software"); echo " A cross-platform GUI based on wxWidgets is under development. In the meantime the following is available: