Closed
Description
It seems there are still people using hie, which is fine. But they are occasionally filing bug reports or even PRs, which we are no longer interested in dealing with.
It will send a clearer message if we mark it as archived in github.