Not seeing much activity on GitHub et al in the last couple of days. Everyone still busy with patching and upgrading ALL THE THINGS? I certainly was until late last night.