Doesn’t seem to me to be enough. The dickhead manager was supported by multiple levels of management over years of harassment and I wonder how much wasn’t reported and documented.