PR summary

All major browsers have supported websockets for over a decade; at this point I think examples should use it directly without a compatibility wrapper.

Perhaps a bit more controversial, websockets can use relative URLs since about 2024, which avoids the need to template the hostname into the HTML. I think it makes sense to simplify this, since keeping browsers up to date is both good advice and the default, not many people are likely to be using a two-year-old browser.

AI Disclosure

I have not used any AI.

PR quality check

• Use an expressive title, e.g. "Fix title font property precedence"
• [N/A] New and changed code is tested -- I have run the example manually with these changes
• [N/A] Plotting related features are demonstrated in an example
• [N/A] New features and API changes have release notes
• [N/A] Documentation complies with general and docstring guidelines