lib.bash: some documentation
devel/pull: prefix all messages if necessary
devel/pull: align log messages