This will make it convenient to include these bots in Zulip API releases on pypi. Fix #5009.
Files renamed without any changes.