doc update: improve naming of MAXR
doc update: add Galois to the list of projects which use MXE
Merge branch 'stable'