Add session file entries for implied options. Needs some testing before merging.