// Moved into Home.razor.cs and Workspace.razor during cleanup.