I was just checking out the Desert Peaks Section list here on LOJ.
https://listsofjohn.com/customlists?lid=1183
Three peaks that were delisted in April 2018 are still on the LOJ list: Maturango Peak, Argus Peak, and Navajo Mountain. Is this intentional, or an oversight?
I won't lose any sleep over it, but they are in fact no longer on the list, so IMHO should be removed.
Here's the current DPS list as of May 2020 (PDF): https://desertpeaks.org/wp-content/uploads/2020/06/DPSList-3.pdf