You're welcome, pal.
That Staff recommendation post is just for those that might struggle with speed after the update. I thought it best to include their response here to minimize other people contacting them when the problem might be similar.
If you're fine, then no point messing with the win-tun driver. I didn't change it, either.
As they say, "If it ain't broke, don't fix it." 😁