Add HTML to Live Dev info message

This is for #5247.

cc @jasonsanjose