I'd expect this to be dynamic html. This is ok here, but let's add an XXX to remind us to refactor this out. This machine list will change as you interact with machine view and would need to be rerendered as you clicked on the button.