Add binderbug workaround

Alexander SevralT requested to merge add-binderbug-workaround into halium-9.0 Sep 25, 2022