Agreed, it's just an annoyance.

But we can always improve things, and in the end all details matter.

(btw, both nostr:npub185h9z5yxn8uc7retm0n6gkm88358lejzparxms5kmy9epr236k2qcswrdp and nostr:npub10000003zmk89narqpczy4ff6rnuht2wu05na7kpnh3mak7z2tqzsv8vwqk suggestions are smart and worth considering, aren't they?)