For the record, I am receiving the ham repeater successfully. Summary of what I did (or what I remember doing!):
1) On D2, create a Conventional Frequency for the repeater's output (12.5k width)
2) On D3, create two Protocol entries, "Protocol Type" = DMR, the first one with "Repeater Slot" = 1, second with 2.
3) On D4, create a Group named "DMR All" with "DMR TGID" = FFFCDF (hex)
4) On D5, create two knob positions, monitor mode, select "Conventional Frequency", select "Protocol Alias" for slot 1 or slot 2, select "DMR Color Code" for the repeater (you'll need to know what it is - not sure if there's a wildcard for it?) enable "Repeater Mode", enable "DMR All" in "Talk Group List".