DOC: internal: update the pools API to mention boot-time settings

These ones are useful for debugging and must be mentionned in the
API doc.
1 file changed