I have a bad feeling about GitHub&#x27;s desire to be more &quot;diverse&quot;.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;opal&#x2F;opal&#x2F;issues&#x2F;941" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;opal&#x2F;opal&#x2F;issues&#x2F;941</a> :^)