freehdl-config • man page