On 02.02.2022 01:50, Mark Gaiser wrote:
>> Ah, yeah. That's a very confusing side effect there.
>> I guess it's fine, but I can't say I like using it like that.
>> Since there's a large risk someone else might in the future think the
>> same and break it.
>>
> 
> I'm fine changing it to someone that would feel more intuitive.
> Do you have a suggestion to make it better?

Could just put a comment above explaining the reliance on the stripping 
the full prefix.