notes on filename formats