 "I think they're saying that..." <- exactly
[04:48] <surfzoid> because apt-add-repository ppa:user/repository vs apt-add-repository ppa:user/distro/repository add the higtest ubuntu version, not the curent runing one
[14:09] <Odd_Bloke> This is specifically about the stanza with "This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.", _not_ the general-case happy path above it.
[14:09] <Odd_Bloke> (The key being that that lets you select which Ubuntu version you want, hence the `/distro/` addition being desired.)
[14:11] <cjwatson> Except that's not what the middle segment of ppa: URLs means.
[14:11] <cjwatson> It means distribution (e.g. "ubuntu"), _not_ distroseries (e.g. "focal").
[14:12] <cjwatson> So no, can't do it that way.
[14:14] <Odd_Bloke> Aha, good to know!  That explains the confusion. :)