[sqlite] Shell commands for controlling headers

All, Could someone clarify the difference between the two sqlite3 shell commands .header and .headers? The relevant documentation page: https://www.sqlite.org/cli.html On the cli page, .header is discussed in section 5 but does not appear in Section 3. Thanks, Craig -- Craig H Maynard Rhode

[sqlite] SQLite Release 3.9.0

I'm not sure what semantic versioning says about this, but why not just drop the trailing .0 and call the release 3.9? That seems cleaner and emphasizes the fact that this is a new minor version. -- Craig Maynard Los Altos, California