Candidates for envy-extensible

No candidates exist for envy-extensible. Upload one for this or another package?