Clarify pointer's validity for documentation of current_option_ptr().
Clarify pointer's validity for documentation of current_option_ptr().

mfontanini/libtins,UlfWetzker/libtins,UlfWetzker/libtins,mfontanini/libtins