
The "profiles" section was moved to its own git repo, so it is now
included via a separate tarball that is directly downloaded from
GitHub.

 -- Hans-Christoph Steiner <hans@eds.org>, Wed,  4 Apr 2018 10:07:39 +0200
