Not in that particular reddit discussion, but that topic is partially covered in the Ledger Recover FAQs. I say partially because they don't go into details how the recovery is supposed to work if the original device is lost. Check the answer to the question "What if I lose my Ledger device that is associated with my Ledger Recover subscription?" o_e_l_e_o is surely on the right track here.