Correct with respect to the issue discussed in the article.

Though I was answering the related hypothetical question "What happens if an official update bricks your device and the warranty expired?".