The "html" method on Button is now deprecated in favor of "text" in PR2 and PR3. So, how do you add HTML code to a button???