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