This FAQ has been removed. A new FAQ will appear on the SICStus webpage, https://sicstus.sics.se soon.