@green_knight Aha! There's a setting "Ignore rich text commands in HTML documents". Guess what it does. Thanks!