Public API explanation in comments, destroy() and minor synthetic changes.