Re: [PATCH v3 15/20] docs: move protection-keys.rst to the core-api book