chiark / gitweb /
tree-wide: rename hidden_file to hidden_or_backup_file and optimize