Thread:Juanito316/@comment-5780397-20170416101703/@comment-856627-20170416194204

Maybe you should ask Chippo and DT too, I honestly don't know.

And I guess we can remove users from the trigger infoboxes, though my idea was always that they should only be listed if the trigger has few users. xD