[BUG #7257] make note about exhausted command lines in manual