OPTION is still a reserved keyword in MySQL (became non-reserved in SQL:2003 spec).
When the table prefix is empty "", the table name must be backticked (in MySQL). However, backticking is not portable SQL. Removing backticks in pre-processing adds overhead.
Note: in either proposal, an external update script would be needed to execute the ALTER statements needed to rename tables.
vote for wontfix, and move the "table quoting" to the DB adapter
marking as wontfix - if we need to change it, please reopen
At minimum, we should consider the first proposal (require at least one leading alpha character in $tables_prefix).