As though I said anything about merging into upstream, or about Hello&#x2F;Pocket, or about &quot;open source&quot; meaning &quot;dictating development with random patches&quot;. :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.