/etc/iceweasel/profile/ is in debian-edu-config 1.702.
This file is owned by root:root, with mode 0o755.