Latest Bot Names changes
9 months ago

• Fix names not being fetched consistently

Earlier changes on GitHub