pymb3: better repl
holepunch: better usage