don't mention explicit Armadillo version in Description: text as it tends to get stale