Rando question: Can we Internationalize the HTML entity here?