It's looking like this won't be moving ahead, thus it's showing up here in all of its still-just-a-proof resolution.
