I don’t know about that hypothetical case, but from what the redditors are saying, it looks like the Honey team are directly including and calling upon the GPL’d code, which I’d say constitutes derived work.

For that specific hypothetical, I’d say it would function as a derived work, but others would be able to answer better.