Comment by jmpman

I might just email the company. If they object, I won't make my GitHub repo public.