This release includes several bug fixes and internal improvements; no design changes or additional functionality is included.