Bug#657647: removing this page

[Thomas Lange]

On the web sprint in 3/2019 we decided that the /devel/people page is
of no real use and that we will remove it. See also
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=251218#15

-- 
regards Thomas