Как кодировать ROT13 в Python3?

Документация Python 3 содержит rot13, указанный на странице кодеков .

Я попытался закодировать строку, используя кодировку rot13:

import codecs
s  = "hello"
os = codecs.encode( s, "rot13" )
print(os)

Это дает ошибку unknown encoding: rot13. Есть ли другой способ использовать встроенную кодировку rot13? Если эта кодировка была удалена в Python 3 (как показывают результаты поиска Google), почему она все еще указана в документации Python3?