[Ciao-users] Ciao + Lpdoc problems