Issue #13513: IOBase docs incorrectly link to the readline module