Hi Dylan, I somehow missed your ITP when I first searched and continued doing the packaging for bashtop (including the patch that fixes the Makefile, I also sent a PR for this upstream). If you haven't yet started, can I upload what I've done so far and then you take it from there? Also happy to comaintain this if you want.
-Jonathan
