Latest Bot Names changes
11 months ago

• Fix names not being fetched consistently

Earlier changes on GitHub