libexact User's Guide is now out