Comment by morelisp

Is the specific person important to the point?

Edit to replies: Both the context and the employer were in the original post. Blasting the actual GitHub issue when it's clear the author specifically tried to avoid that is awful behavior too.