GGU-PLATELOAD: "Plate diameter" menu item

Almost exactly the same dialog box opens with the same preference options as that described in the "Output preferences/Title (change position)" menu item. Simply proceed as described there to edit the "Plate diameter" element.