Fix #632: Add FILES section to manual page