RE: Proposal: better library management ideas (was: how to checkout proper submodules)