As though I said anything about merging into upstream, or about Hello/Pocket, or about "open source" meaning "dictating development with random patches". :P But sure, if there were a ten year-old bug about removing them, then I would certainly expect them to welcome such a patch.