Replace "plugin" with "tool" in disqus post