Github-only release 0.4.419.3.0 with test release Armadillo 4.419.3