The Ajax call launched when clicking on Refresh now downloads an HTML fragment instead of JSON data.

It's far easier to format HTML fragments on the server, with ERB and internationalization, sanitization etc helpers, than doing it with javascript on the client.