Turns out that since shellfu-doc uses pretty.sh (and makes good use of it), what we had was broken cyclic dependency. shellfu-doc and shellfu-embed are useful mostly for developers, though, so it's no shame to split them.