Move stuff around; write date/time to shell-times
Unset smartindent for Python (fix '#' unindenting)
Set smartindent if not Python
Fix weird stuff