We have done that a long time ago for the actual bot configuration, adopt the documentation accordingly. Change-Id: Ie9f40530946efd0ff49f519883cfe9bb0f308909