Just a quick note that there was some further official discussion on this here:

https://github.com/WordPress/wporg-plugin-guidelines/pull/69