Interesting - but many pro-HK bot accounts are still up and running. Indeed, there's a discord channel where many LIHKG (a 4chan-like HK site) users congregate to brigade Twitter and Reddit, and they've explicitly shared scripts and bots to manipulate or mass retweet messages in the channel.