Export to Excel with highlighting

Users can now download annotated Excel files with their errors highlighted, allowing them to collaborate with other users on error correction.