Hi Carlos,
Sure, the user can dig and find a working solution. At least I was able to it. Note that I didn't say the "right" solution, although they might be one and the same.
My point is that the documentation does not agree with the code. I edited the user_config.h file as you suggested and it did not work. I was forced edit the small_ram_config.h file to get it to work. I don't think that's the intention.
I've said it before and I'm sure I'll be saying it again in the future, but: A product is only as good as the documentation.
Note that if the documentation had agreed with the code, this post and any subsequent discussion would not have been necessary. In how many unrelated threads do questions like these come up?
Regarding this particular example, it would help if your second suggestion would be detailed in the section where recompiling the library is mentioned.
Later,
Dave