Latest Bot Names changes
5 months ago

• Fix names not being fetched consistently

Earlier changes on GitHub