Export of all articles in HTML pages is now working again (but not yet on Heroku).