On 9/21/2020 1:09 PM, Abdur-Rahmaan Janhangeer wrote:


Kind Regards,

Abdur-Rahmaan Janhangeer
github
Mauritius


On Mon, Sep 21, 2020 at 8:41 PM David Lowry-Duda <david@lowryduda.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.

Eric