Topic: Datetime format
What about having the format_time() in /include/functions.php using a $pun_user['date_format']
instead of $pun_config['o_date_format'] variable.
Of course there must be an input text in the profile.php to have the user specify his own date-time format and also a new field in the punbb_users table.
Maybe in the Language Definitions the translator can put the preferred date and time representation for their language...
P.