Paper format checking applies only to papers themselves.

Not to PDF upload options.
Remove the weekday from paper timestamps by default.
Internal: Rename paperoption.inc to paperoption.php.

This is the filename to which f271de21eae22ab13c1a1c7e16f53669ff6f7c36
referred, and it's better.
Internal: Use $prow->option_array in more places.
Internal: Improve style arrangement for column info in main paper view.

Each heading/body pair gets its own little div. Spacing among the divs
is controlled with margin, rather than padding.
Nit: Hide "view-only-if-authors-visible" options from chair by default.

Show them when the chair clicks on "Hidden for blind review." Peter
Sewell nag.
'Prominent' is a better name for this setting