underscores in filenames? just for consitency, I think we shouldn't use them. No dealbreaker, though.