Re: (ITS#7866) [PATCH] Mention default database in tools' man pages