Candidates for leancheck-extras

No candidates exist for leancheck-extras. Upload one for this or another package?