No I haven't but I want to know more about it. What event kind does this use to shorten URL? Are they part of a NIP-51 list? Is it public or private? Very cool.
Discussion
A new kind. 1994..
Because that’s the year “URL” was defined by Tim Berners-Lee
I love it. 
Of cause the URL ain’t short at all at the moment.
Throwing out a new idea and concept to see how the community react before investing further.
More “other stuff”.
More info:
nostr:note1yxya793gwwcdne69209lfagp4fajw87w34t3g4pm5vad3w5g2zcq820gmg