fix(init/meta/interactive): don't skip remainder in rw_hyp (#686)
fix(init/meta/interactive): don't skip remainder in rw_hyp (#686)





leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean