I think this is the correct place to document this. I see no other section in devmanual that could be used for that.