(This post ended up being final posted on May 4th, 2016. It’s been updated for completeness and accuracy.)