$ git log -1 v1.7.0 -- script/public-inbox-eindex found last record of `script/public-inbox-eindex' in the following commit: 6b0fed3b extsearch: rename -eindex to -extindex (2020-11-07)git clone https://public-inbox.org/public-inbox.git git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git