I just got a seemingly-random 8.0 MB patch for Portal 2. The Portal 2 News page has nothing on it, nor does the portal wiki. All I found online was a reddit page asking the same question with no answers. The reddit users seem to think it may be a VR patch, but I don't have any VR options in my menu after the update.
Is there any information about what was added/changed with the patch?