@Whaaaaaat In
that answer, you might want to change "
You probably need to reinstall Ubuntu." to
"You probably need to reboot Ubuntu." Sometimes reinstalling's best, but this seems
one of those cases where it's unnecessary. (Lots of comments there and we'd chatted about that Q before, which is why I'm using chat. Feel free to reply in chat, comments, or not at all--whatever's convenient.)