terminfo doc: nitpick