On Saturday, 22 September 2018 at 21:42:11 UTC, bauss wrote: > Maybe it should be visible to more users? At present I do not believe this would bring an observable benefit.