#13934: document sqlite version strings.