$display If non-integer points are used (e.g., 3.5), make sure to change the display format in PPRM, or the result will be displayed in rounded form. To change the allowed file types for submissions, change the "uploadedfiletypes" parameter in PPRM.