Added user-manual option (FIXME: Needs comment)