> So, what do you reckon is the way forward about this issue? I'm willing to make a better attempt at my
> defcustom patch, but I'm not sure there's enough consensus for it to then be accepted.
Why do you think it might not be accepted, if it is an optional behavior?
Just an impression based on the initial reaction and lack of answers to my defcustom patch.
Anway, good news! I'll polish the defcustom patch a little bit and resubmit in the next days.
Changing the actual default to an image/font can happen (or not) at a later time.