anchor.diff:  
       children.add(const BulletSpacer());
   
  -    // Optionally display an isolate selector.
  -    if (currentScreen != null) {
  -      children.add(
  -        ValueListenableBuilder<bool>(
  -          valueListenable: currentScreen.showIsolateSelector,
  -          builder: (context, showIsolateSelector, _) {
  -            return showIsolateSelector
  -                ? Flexible(
  -                    child: Row(
  -                      children: const [
  -                        Expanded(
  -                          child: Center(
  -                            child: IsolateSelector(),
  -                          ),
  +    // Display an isolate selector.
  +    children.add(
  +      ValueListenableBuilder<bool>(
  +        valueListenable: currentScreen.showIsolateSelector,
  +        builder: (context, showIsolateSelector, _) {
  +          return showIsolateSelector
  +              ? Flexible(
  +                  child: Row(
  +                    children: const [
  +                      Expanded(
  +                        child: Center(
  +                          child: IsolateSelector(),
                           ),
  -                        BulletSpacer(),
  -                      ],
  -                    ),
  -                  )
  -                : Container();
  -          },
  +                      ),
  +                      BulletSpacer(),
  +                    ],
  +                  ),
  +                )
  +              : Container();
  +        },
  +      ),
  +    );
  +
  +    // Display page specific status.
  +    final Widget? pageStatus =
  +        buildPageStatus(context, currentScreen, textTheme);
  +
  +    if (pageStatus != null) {
  +      children.add(Expanded(
  +        child: Align(
  +          child: buildPageStatus(context, currentScreen, textTheme),
           ),
  -      );
  -    }
  -
  -    // Optionally display page specific status.
  -    if (currentScreen != null) {
  -      final Widget pageStatus =
  -          buildPageStatus(context, currentScreen, textTheme);
  -
  -      if (pageStatus != null) {
  -        children.add(Expanded(
  -          child: Align(
  -            child: buildPageStatus(context, currentScreen, textTheme),
  -          ),
  -        ));
  -
  -        children.add(const BulletSpacer());
  -      }
  +      ));
  +
  +      children.add(const BulletSpacer());
       }
   
       // Always display connection status (docked to the right).
  
positive.code:             ],
            );
          } else {
            return child;
          }
        },
        child: Text(
  
negative.code:     Screen currentScreen,
      TextTheme textTheme,
    ) {
      final String? docPageId = currentScreen.docPageId;
      if (docPageId != null) {
        return RichText(
          text: LinkTextSpan(
  