Eli Zaretskii writes: > I suggest a comment there explaining the value. Good point. I also noticed that this default value was the last use of icomplete-prospects-length which is marked obsolete since 23.1, so I've completely removed its definition too.