There was a bot that lets you search for channels and groups on telegram. What was it called and the @? Thanks in advance