fix(subscriptions): add missing #bot-notice div
my earlier edit to insert <div id="bot-notice"> into #pubs-section was
silently no-op'd (Edit tool reverted when the surrounding markup had
been re-formatted). renderBotNotice then exploded with
"can't access property 'className', el is null" — which stopped render()
before renderPubs ever ran, leaving the toggle list empty even when
subscriptions existed. adds the element back.
Co-Authored-By: Claude Opus 4 (1M context) <noreply@anthropic.com>