Ok, that’s what I figured, so there must be a bug – it doesn’t do that for me.
However, I did discover that the widget ID bit does show up for other sections (footer 1, etc…)
Check out this screenshot: https://ambrosefamily.ca/images/widgets.png
I’m running WP 3.5.
Is the widget ID the same even if it’s not in the arbitrary section? Do I need to check the DB?