Searching in docs/Proposals