Would it be possible to link to _9.1.3. Superinterfaces and Subinterfaces_ from _8.4.8. Inheritance, Overriding, and Hiding_ and maybe vice versa? When looking up info about inherited methods, I naturally go to 8.4.8 because it pops up first in my Ctrl+F search for "inherit" on https://docs.oracle.com/javase/specs/jls/se19/html/index.html and seems highly relevant. Unfortunately, 8.4.8 deals only with methods inherited by classes. Methods inherited by interfaces are described in 9.1.3.