The diff display is rather slow now, probably because everything is put into one big pre tag. Before we can fix this, we have to parse the diff better. For now, just display a message.
This simplifies the HTML code somewhat