The weakness of finding descending sequences in ill-founded linear orders

We prove that the Weihrauch degree of the problem of finding a bad sequence in a non-well quasi order (𝖡𝖲) is strictly above that of finding a descending sequence in an ill-founded linear order (𝖣𝖲). This corrects our mistaken claim in arXiv:2010.03840, which stated that they are Weihrauch equivalent. We prove that König's lemma 𝖪𝖫 is not Weihrauch reducible to 𝖣𝖲 either, resolving the main open question raised in arXiv:2010.03840.