decrease usage of short git commit IDs

Closes #20165 (closed)

• filename are now the only thing where short ids are used. and here, the minimum length is increased to 10 characters.
• /etc/os-release only includes full ids
  • tails-about is updated accordingly