Mention about dev guide in docs

The issue was found by @marcin during 1.19 sanity checks: #1519 (comment 495201)

This disclaimer can be found in the developer's guide but in fact the ARM and the developer's guide are now two different documents.