Hi all,
the FAQ and Debian repositories have been recovered after an outage of the machine that hosted them. They should be fully functional again.

Karl.