Resolve "Update autoReferee documentation"

Closes #1746

See merge request main/Sumatra!1519

sumatra-commit: 88184eb745ac28ed3c8e872fed39ab0b96dc4280
2 jobs for master in 6 minutes and 42 seconds (queued for 2 seconds)