"""Widgets used by the CLI board plugin."""