TL;DR
Several websites that specialize in tracking activity from trolls/bots/Russian government related/any combination of the three - Twitter accounts have related activity from those accounts exploiting the Florida school shooting.
About trolls and bots
It is very hard to give precise evidence about supposed Russian bots and trolls because:
- Their mere existence is denied by, among others, Russian government.
- Assuming they exist, they hide their nature and their actions, and often use false-flag operations, which make them hard to identify.
- Even if identified, it is not obvious to find their location.
- Even if their location is found, it is hard to prove coordination and links with the Russian government.
According to TechNewsWorld, the source from the OP, Twitter has taken some action against trolls, which seems to acknowledge their existence and their past efforts during the 2016 US presidential campaign.
Twitter recently has made some efforts to address the problem of Russian trolls. Earlier this year, it warned nearly 700,000 users that they had interacted with accounts identified as part of Russia's efforts to meddle with the 2016 presidential election. It also recently deleted 200,000 tweets linked to those accounts.
Several big-data projects focus on tracking (supposed) bots, (supposed) trolls, both from Russia and elsewhere. Of course, you can always debate about the independance of these websites. Some people (trolls ?) would pretend they are puppets from the CIA (or whoever) to push an anti-Russian agenda (or anti-Trump agenda, or whatever agenda).
One of these projects is Hamilton68. It has been created by Alliance for Securing Democracy. It is focusing on monitoring twitter accounts thoughts to be Kremlin-oriented, whether they are official accounts, trolls or bots.
Botcheck.me specialize in following bots' activity, from wherever in the world - not especially Russia.
The Florida mass shooting
Both those websites have reported a huge interest by Kremlin-related accounts on the one hand, bots on the other hand, about the Florida shooting and about the gun-control debate in the last week.
The information has been relayed, among others, by the BBC and Wired. TechNewsWorld also interviews experts from New Knowledge, a company specializing in response to "fake accounts, fake news, and propaganda campaigns", as well as from Distil Networks, Risk Based Security, Institute for Critical Infrastructure Technology, Bromium or Tellagraff which seem to be similar institutions.
Today (2/28/18), NRA is still the fifth most active topic identified by Hamilton68 among the accounts it tracks, after US, Trump, Syria, and Russia/Russian.
Motivations
Igniting chaos among Americans and weakening their national cohesion is the main reason advanced in those articles to explain the interest of bots, trolls or Kremlin-related accounts in the shooting :
"The bots focus on anything that is divisive for Americans - almost systematically," Jonathon Morgan, chief executive of New Knowledge told the New York Times. He said that the gun control tweets followed a typical pattern of stoking both sides of an argument and casting public doubt on institutions such as the police or the media.
...
Rather than champion one side of a cause or another, the creators of the campaigns take a "chaos is op" approach to their misinformation efforts, [ICIT's] Scott said. "As a result, the attacker uses bots and propaganda on both sides of a charged debate in order to further disrupt the status quo and to widen the social chasm created by irreconcilable polarized viewpoints," he explained.
While Hamilton68's Schafer has a slightly different opinion :
Schafer believes the trolls are using the message to attract more eyeballs. "That allows them to then push content that is more directly related to the Kremlin’s geopolitical agenda," such as the Nunes memo, he says. "I don’t think the Kremlin cares one way or another whether we enact stricter gun control laws," he adds. "It's just being used as bait, basically."