Bitlocker2johnexe Extra Quality ((full))
A small victory. He now had the hash—a long, cryptic string starting with $bitlocker$0$16$ —saved to his text file.
When searching for "extra quality" versions of executable tools, be cautious: bitlocker2johnexe extra quality