Remove some overfull lines in doc/misc/faq