On Tue, Oct 22, 2019, at 10:05 AM, Paul B Mahol wrote: > probably ok Pushed b293ec7188b6b39ac769f358a2f4a95d0a49c1b7. Now giant download button is more giant, but I will adjust the CSS.