// boot.jsx — the last script. All widgets must have registered by now.
ReactDOM.createRoot(document.getElementById('root')).render(<App />);