On Tue, 15 Nov 2016 14:42:14 -0800 Brian Norris <[email protected]> wrote:
> Per the original author, the proposed document was never deemed > necessary, and the important bits got merged into completion.txt. Let's > just stop confusing readers by pointing at a nonexistent doc. Makes sense, applied. Thanks, jon
