Re: [alexandria-devel] [patch] documentation tweak