Bikeshed version c05ebec3, updated Fri Jul 31 13:58:05 2020 -0700