For such a tiny update, 13.5.1 is taking plenty of time to install…