@christianv This can now be removed.