we can save some allocation here by doing `pool_id2solvable()` and then `pool_solvable2str()` directly instead. but up to you.