Comment 1 for bug 248713

Thanks for the hints, James. As far as #3 goes, I added some more information and changed the status of bug #3222, to hopefully get that resolved. Are you the maintainer of the package in Debian? It might help out to chime in yourself there, explaining why it can be removed.

I think your best bet might be to make this bug report just about #1 and #2, since those are very uncontroversial. Then make a separate report for #4, explaining that once #3222 and this are fixed, it makes sense to just use the default and remove the divergence.

Anyway, just my thoughts, this bug report might be more useful to the Ubuntu maintainer in its present form, if they are willing to do everything explained here.