nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqp450apv3j8jmqjct3ddfklzusxyfkkyqpzxx4p33u099xjzvfwwsyh2vzh did those bots use curl to fetch curl.se? :)