[docs] [issue15068] fileinput requires two EOF when reading stdin