Some refinements to fxinfo files.