Я прокручивал страницу индекса PEP и заметил, что номер PEP зарезервирован Warsaw
:
Reserved PEP Numbers
num title owner
--- ----- -----
801 RESERVED Warsaw
Я искал это из любопытства, и единственное, что я нашел, ссылаясь на это, - это индексная страница PEP, и это обязательство с 2013 года, которое не отвечало на мой вопрос
В коммите они объясняют, что это может быть по причине юмора (например, 666), но я не понимаю, почему 801
. С чем связан этот номер?