In file eapi-differences.tex, section "EAPI 4", PMS says:
| EAPI 4 is EAPI 3 with the following changes:
| * PROPERTIES support is mandatory.
Whereas in file dependencies.tex, subsection "Properties", it seems to
contradict the above:
| The following tokens are permitted inside PROPERTIES:
| * interactive
| The package may require interaction with the user via the tty.
| Ebuilds may not rely upon any token being supported.
Should the last sentence be deleted?