It's a bit off-topic, but it would be great to have a Bash script to ease the process of updating to 5.212 for all relevant packages and reverting to 5.6.2 before an OS upgrade, and it would limit the risk of doing mistakes for inexperienced users.