Document --migrate-stars option