I thought it was obvious that prop.ltcmp.net was a place-holder just like domain.tld.
Between the move to Debian and the new mail receiver, there could be some other changes needed. I’ll try to have a look in the next few days, as my install scripts may have been broken by these updates.