anchor.diff:  
   WorkshopUi get workshopUi => _workshopUi;
   
  +final NodeValidator _htmlValidator = PermissiveNodeValidator();
  +
   void init() {
     _workshopUi = WorkshopUi();
   }
  
positive.code:   void _updateInstructions() {
      var div = querySelector('#markdown-content');
      div.children.clear();
      div.innerHtml =
          markdown.markdownToHtml(_workshopState.currentStep.instructions);
      hljs.highlightAll();
    }
  
  
negative.code: import 'dart:html' hide Console;
  
  import 'package:dart_pad/context.dart';
  import 'package:dart_pad/src/util.dart';
  import 'package:dart_pad/util/detect_flutter.dart';
  import 'package:dart_pad/util/query_params.dart';
  import 'package:markdown/markdown.dart' as markdown;
  