Reference to non-existent LOAD_DATA permission #14
Description
In "Security analysis of CHERI ISA.pdf", section "Executable capability bounds" refers to LOAD_DATA and LOAD_CAP permissions. In ISAv7 we call them (Permit_)Load and (Permit_)Load_Cap(ability), and Morello calls them Load and LoadCap. Calling it LOAD_DATA is confusing and might mislead readers into thinking it doesn't apply to capabilities. Please instead call it LOAD to reference the correct name of it.