Complete specification adding option documentation