Make format specifiers fairly sensible (tentatively finalized?)
Update TODO