Loading annotation for devguide.python.org