An user interface for configuring our custom Puppet ENC