Normally we'd merge the comments into the earlier post, but since this article has more information, I'll merge them hither instead.
Normally we'd merge the comments into the earlier post, but since this article has more information, I'll merge them hither instead.