Bring the master branch up to date with the status at the end of the official REU