anchor.diff:                  final response =
                       await ref.read(rpcProvider).command('diagnose', []);
                   final data = response['diagnostics'] as List;
  -                data.insert(0, {'app_version': version});
  +                data.insert(0, {
  +                  'app_version': version,
  +                  'dart': Platform.version,
  +                });
                   final text = const JsonEncoder.withIndent('  ').convert(data);
                   await Clipboard.setData(ClipboardData(text: text));
                   await ref.read(withContextProvider)(
  
positive.code:   @override
    Widget build(BuildContext context, WidgetRef ref) {
      return Column(
        //crossAxisAlignment: CrossAxisAlignment.start,
        children: [
          const SizedBox(height: 12.0),
          DropdownButtonFormField<Level>(
  
negative.code:     );
    }
  }
  