Plugin extension development: adding a widget to 'header' area of JupyterFrontEnd.IShell does not make the area visible

[jasongrout]

Jeremy pointed out this might be a known issue: https://github.com/jupyterlab/jupyterlab/issues/7279