PingSomeone

A bot that adds the @someone feature back to Discord