How do you rename a table in SQLite 3.0?

The answer remains to use "ALTER TABLE". But the main documentation page on this topic is pretty thick. What is needed is a simple example of how that works. You can find that here: https://www.sqlitetutorial.net/sqlite-alter-table/

To be precise, in the most basic case it looks like this:

ALTER TABLE existing_table
RENAME TO new_table;

I am not sure if the dot notation works, but I assume that the following is also correct:

ALTER TABLE existing_database.existing_table
RENAME TO new_database.new_table;

ALTER TABLE `foo` RENAME TO `bar`

SQLite Query Language: ALTER TABLE