Just for the record, this bug would not bother me if bug #362850, which offers my customizations as a patch, were solved.