Mention wofadk.sys in "compact" documentation