Fixes #7423: Allow Bastion to be used by other UI plugins.