Download button missing for generated OAS etc.

[socadk]

[R] identified during ZEUS keynote preparation :-)

[misto]

It should be there on the lower right, but it's inconsistent with the other download button (bad UX, sorry):

Will be fixed, but not in time for the keynote :-)

[socadk]

Found it :-)