File extension in IDexWriters and minor cleanup