[PATCH] Document filename= option