A Custom SSL port for Munki, and the corresponding client-side Setting