Stefan Beller <sbel...@google.com> writes: > When looking for documentation for a specific function, you may be tempted > to run > > git -C Documentation grep index_name_pos > > only to find the file technical/api-in-core-index.txt, which doesn't > help for understanding the given function. It would be better to not find > these functions in the documentation, such that people directly dive into > the code instead. > > Signed-off-by: Stefan Beller <sbel...@google.com> > --- > > I run into this a couple of times now, so I put this out tentatively.
These placeholders are meant to encourage those people who dove into the code to update it, so from that point of view, I think removing it is backwards.
