Document file-info and friends. Introduce file:*.