Don't re-render core HTML needlessly (fix bug 844533)