The result of the discussion was: keep but blank. Xaosflux and SMcCandlish both make good points that the code could be of value to future scripters, so I'm opting to keep but blank rather than outright delete. Xaos, since you're an interface editor and I'm not, can you do the honors? ♠PMC♠ (talk) 21:00, 28 March 2019 (UTC)