Yes that's why I said "a rapid descent would have endangered their plane and other aircraft." I seriously doubt that any commercial airliner, with orders of magnitude more volume than this plane and insulation as well, has ever suffered an internal ice-over like the one described here.