Show the database ID of a file in the file popup (see #5211)