add one more hint for developers, to explicitly point at docs/README.developers