An extension to upload CSV files for grading.
Install the extension, navigate to the grade page, select a CSV file containing student numbers and grades, then upload it.