--- progress.js.orig	2020-03-04 18:52:44.000000000 +0100
+++ progress.js	2020-05-04 10:17:20.557736000 +0200
@@ -248,8 +248,8 @@
 			{"bSearchable": false, "aTargets": [0,1,6,7]},
 		],
 		"bStateSave": true, // Enable cookie for keeping state
-		"aLengthMenu":[10,20,50, 100, 200],
-		"iDisplayLength": 20,
+		"aLengthMenu":[10,20,50,100,200,500,1000,2000,5000,10000],
+		"iDisplayLength": 1000,
 		});
 
 	update_summary_and_builders();