Add comment describing the workaround and linking to the Python 3 issue