Placeholder: an update that is not a press release

Body of a general update. Delete this placeholder once real content exists.