On 9/21/2020 1:09 PM, Abdur-Rahmaan Janhangeer wrote:
On Mon, Sep 21, 2020 at 8:41 PM David Lowry-Duda <firstname.lastname@example.org mailto:email@example.com> wrote:
I see no reason why we should think about changing PEPs.
Please see first mail in the thread.
I don't find the reasons in the first email persuasive. Having two names for one document, and names that vary over time, will only make searching for information more difficult.