URL Encoding of + sign?

Thanks for the awesome tool! It's very helpful in debugging REST services.

How exactly do I send over a + sign?
I tried:

GET ?email=user+tag@example.com

Result: the + doesn't get encoded, is interpreted as a space (as expected)

But also:

GET ?email=user%2Btag@example.com

Result: the % gets URL encoded resulting in user%252Btag@example.com which is treated as the literal 'user%2Btag@example.com'

Beginne damit, die beiden Query-Beispiele im HTTP REPL zu reproduzieren, und finde den Einstiegspunkt für die URL- oder Query-Parameter-Kodierung. Verfolge, wie literale Pluszeichen und bereits percentkodierte Werte verarbeitet werden. Erledigt ist die Aufgabe, wenn ein Pluszeichen als Pluszeichen gesendet werden kann, während percentkodierte Eingaben nicht ein zweites Mal kodiert werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.