Remove duplicate information in INSTALL file.
Fix deadlock in db_ido.

Fixes #6230
Bump version for next release target.

Refs #6231