coq-function-ninjas renamed to coq:function-ninjas