RE: Petition: keep docs in PDF

[William F. Weiher III]

I don't really care about the doc format but it would be nice if it
integrated into CW better (at least the F1 function to access the doc entry
for a particular function.