Fix bug 1012914: Add CSV export button.