Hey look, there's already a bug open: <https://bugs.debian.org/803709> "ntp: Please document 'pool' in ntp.conf"
Filed November 1, 2015. Except... it's not open. It's been closed. They sat on it for two years until the stretch freeze, and then "fixed" it in experimental. So we won't even get it in stretch.
