"Both @rysiek and @mmn seemed to completely discount !pumpio in all this, and I tried (unsuccessfully) to convince them otherwise." cc @sazius