ITP: #963032 I have began working on the package, and would like a (salsa?) repository to push my work. How should I proceed? PS: dogsleg has agreed to sponsor the package. -- D Vaidya