Ask for Python highlighting in docs