base snapshot / replaying works
add back multiple clock domains to manual
fix up manual to produce pdf