Remove henhe83
See merge request !20 (merged)
(cherry picked from commit b940cfc1)
147fc490 Remove henhe83