Trolling is potentially an instaban offense, and doesn’t require further documentation. However, SlackerInc had eight previous warnings, including for trolling, being a jerk, insults, and failure to follow a moderator’s instructions. He actually should have been suspended last year, when he had four warnings within only a few months.
Some months ago I did have an extended exchange with him by PM, discussing some of his behavioral problems. He was completely unrepentant and gave no indication he would change his behavior.