non-fatal jslint option parsing