On 17.07.2020 23.02, Thorsten Glaser wrote: > Nis Martensen dixit: >> If this were your developer time, would you want to spend it on that? > > Absolutely! > > In addition to that, you probably should do that anyway and convert > between headers and pseudoheaders, so that only one is given, since > you said giving both can lead to unexpected results, so the software > really ought to prevent people from doing that.
Looking forward to receiving your patches :)