Added docs on the file.sed options

Fixes #4922