Use Spec.hs instead of Main.hs in docs for now (see #198)