A user interface to our custom Puppet ENC