[sqlite] alter table rename column

[Will Leshner]

The SQLite documentation has the following sentence on the page for  
"Alter Table":

"SQLite's version of the ALTER TABLE command allows the user to  
rename or add a new column to an existing table."

It would appear, however, that while we can add columns to a table,  
we can't rename them. At least, I can't find a way to do it. Is this  
just a mistake in the documentation? Perhaps it meant to say  
something like this:

"SQLite's version of the ALTER TABLE command allows the user to  
rename _a table,_ or add a new column to an existing table."