Should I run these commands just in case, I wonder? I'm not sure if I've applied this particular update, but I haven't rebooted in a little bit.
Edit: I hadn't applied this particular update yet. Thanks to this post I was able to pay attention (I usually don't pay attention) and ran the supplied commands.