Add hours_for_header
Use hours_for_header
Remove unique_a_sorted
Switch to Decimal, not old string with curly braces for PostgreSQL array
Rebuild generate_one_file