diff --git a/talks/2023-types/_build/Agda.Builtin.Bool.html b/talks/2023-types/build/Agda.Builtin.Bool.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Bool.html
rename to talks/2023-types/build/Agda.Builtin.Bool.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Equality.html b/talks/2023-types/build/Agda.Builtin.Equality.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Equality.html
rename to talks/2023-types/build/Agda.Builtin.Equality.html
diff --git a/talks/2023-types/_build/Agda.Builtin.List.html b/talks/2023-types/build/Agda.Builtin.List.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.List.html
rename to talks/2023-types/build/Agda.Builtin.List.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Maybe.html b/talks/2023-types/build/Agda.Builtin.Maybe.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Maybe.html
rename to talks/2023-types/build/Agda.Builtin.Maybe.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Nat.html b/talks/2023-types/build/Agda.Builtin.Nat.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Nat.html
rename to talks/2023-types/build/Agda.Builtin.Nat.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Sigma.html b/talks/2023-types/build/Agda.Builtin.Sigma.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Sigma.html
rename to talks/2023-types/build/Agda.Builtin.Sigma.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Strict.html b/talks/2023-types/build/Agda.Builtin.Strict.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Strict.html
rename to talks/2023-types/build/Agda.Builtin.Strict.html
diff --git a/talks/2023-types/_build/Agda.Builtin.Unit.html b/talks/2023-types/build/Agda.Builtin.Unit.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Builtin.Unit.html
rename to talks/2023-types/build/Agda.Builtin.Unit.html
diff --git a/talks/2023-types/_build/Agda.Primitive.html b/talks/2023-types/build/Agda.Primitive.html
similarity index 100%
rename from talks/2023-types/_build/Agda.Primitive.html
rename to talks/2023-types/build/Agda.Primitive.html
diff --git a/talks/2023-types/_build/Agda.css b/talks/2023-types/build/Agda.css
similarity index 100%
rename from talks/2023-types/_build/Agda.css
rename to talks/2023-types/build/Agda.css
diff --git a/talks/2023-types/_build/Algebra.Bundles.html b/talks/2023-types/build/Algebra.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Bundles.html
rename to talks/2023-types/build/Algebra.Bundles.html
diff --git a/talks/2023-types/_build/Algebra.Consequences.Base.html b/talks/2023-types/build/Algebra.Consequences.Base.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Consequences.Base.html
rename to talks/2023-types/build/Algebra.Consequences.Base.html
diff --git a/talks/2023-types/_build/Algebra.Consequences.Propositional.html b/talks/2023-types/build/Algebra.Consequences.Propositional.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Consequences.Propositional.html
rename to talks/2023-types/build/Algebra.Consequences.Propositional.html
diff --git a/talks/2023-types/_build/Algebra.Consequences.Setoid.html b/talks/2023-types/build/Algebra.Consequences.Setoid.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Consequences.Setoid.html
rename to talks/2023-types/build/Algebra.Consequences.Setoid.html
diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.Base.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.Base.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.Base.html
rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.Base.html
diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MaxOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MaxOp.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MaxOp.html
rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MaxOp.html
diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinMaxOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MinMaxOp.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinMaxOp.html
rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MinMaxOp.html
diff --git a/talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinOp.html b/talks/2023-types/build/Algebra.Construct.NaturalChoice.MinOp.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Construct.NaturalChoice.MinOp.html
rename to talks/2023-types/build/Algebra.Construct.NaturalChoice.MinOp.html
diff --git a/talks/2023-types/_build/Algebra.Core.html b/talks/2023-types/build/Algebra.Core.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Core.html
rename to talks/2023-types/build/Algebra.Core.html
diff --git a/talks/2023-types/_build/Algebra.Definitions.html b/talks/2023-types/build/Algebra.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Definitions.html
rename to talks/2023-types/build/Algebra.Definitions.html
diff --git a/talks/2023-types/_build/Algebra.Morphism.Definitions.html b/talks/2023-types/build/Algebra.Morphism.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Morphism.Definitions.html
rename to talks/2023-types/build/Algebra.Morphism.Definitions.html
diff --git a/talks/2023-types/_build/Algebra.Morphism.Structures.html b/talks/2023-types/build/Algebra.Morphism.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Morphism.Structures.html
rename to talks/2023-types/build/Algebra.Morphism.Structures.html
diff --git a/talks/2023-types/_build/Algebra.Morphism.html b/talks/2023-types/build/Algebra.Morphism.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Morphism.html
rename to talks/2023-types/build/Algebra.Morphism.html
diff --git a/talks/2023-types/_build/Algebra.Properties.BooleanAlgebra.html b/talks/2023-types/build/Algebra.Properties.BooleanAlgebra.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.BooleanAlgebra.html
rename to talks/2023-types/build/Algebra.Properties.BooleanAlgebra.html
diff --git a/talks/2023-types/_build/Algebra.Properties.CommutativeSemigroup.html b/talks/2023-types/build/Algebra.Properties.CommutativeSemigroup.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.CommutativeSemigroup.html
rename to talks/2023-types/build/Algebra.Properties.CommutativeSemigroup.html
diff --git a/talks/2023-types/_build/Algebra.Properties.DistributiveLattice.html b/talks/2023-types/build/Algebra.Properties.DistributiveLattice.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.DistributiveLattice.html
rename to talks/2023-types/build/Algebra.Properties.DistributiveLattice.html
diff --git a/talks/2023-types/_build/Algebra.Properties.Group.html b/talks/2023-types/build/Algebra.Properties.Group.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.Group.html
rename to talks/2023-types/build/Algebra.Properties.Group.html
diff --git a/talks/2023-types/_build/Algebra.Properties.Lattice.html b/talks/2023-types/build/Algebra.Properties.Lattice.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.Lattice.html
rename to talks/2023-types/build/Algebra.Properties.Lattice.html
diff --git a/talks/2023-types/_build/Algebra.Properties.Semigroup.html b/talks/2023-types/build/Algebra.Properties.Semigroup.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.Semigroup.html
rename to talks/2023-types/build/Algebra.Properties.Semigroup.html
diff --git a/talks/2023-types/_build/Algebra.Properties.Semilattice.html b/talks/2023-types/build/Algebra.Properties.Semilattice.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Properties.Semilattice.html
rename to talks/2023-types/build/Algebra.Properties.Semilattice.html
diff --git a/talks/2023-types/_build/Algebra.Structures.html b/talks/2023-types/build/Algebra.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.Structures.html
rename to talks/2023-types/build/Algebra.Structures.html
diff --git a/talks/2023-types/_build/Algebra.html b/talks/2023-types/build/Algebra.html
similarity index 100%
rename from talks/2023-types/_build/Algebra.html
rename to talks/2023-types/build/Algebra.html
diff --git a/talks/2023-types/_build/Axiom.Extensionality.Propositional.html b/talks/2023-types/build/Axiom.Extensionality.Propositional.html
similarity index 100%
rename from talks/2023-types/_build/Axiom.Extensionality.Propositional.html
rename to talks/2023-types/build/Axiom.Extensionality.Propositional.html
diff --git a/talks/2023-types/_build/Axiom.UniquenessOfIdentityProofs.html b/talks/2023-types/build/Axiom.UniquenessOfIdentityProofs.html
similarity index 100%
rename from talks/2023-types/_build/Axiom.UniquenessOfIdentityProofs.html
rename to talks/2023-types/build/Axiom.UniquenessOfIdentityProofs.html
diff --git a/talks/2023-types/_build/Category.Applicative.Indexed.html b/talks/2023-types/build/Category.Applicative.Indexed.html
similarity index 100%
rename from talks/2023-types/_build/Category.Applicative.Indexed.html
rename to talks/2023-types/build/Category.Applicative.Indexed.html
diff --git a/talks/2023-types/_build/Category.Applicative.html b/talks/2023-types/build/Category.Applicative.html
similarity index 100%
rename from talks/2023-types/_build/Category.Applicative.html
rename to talks/2023-types/build/Category.Applicative.html
diff --git a/talks/2023-types/_build/Category.Functor.html b/talks/2023-types/build/Category.Functor.html
similarity index 100%
rename from talks/2023-types/_build/Category.Functor.html
rename to talks/2023-types/build/Category.Functor.html
diff --git a/talks/2023-types/_build/Category.Monad.Indexed.html b/talks/2023-types/build/Category.Monad.Indexed.html
similarity index 100%
rename from talks/2023-types/_build/Category.Monad.Indexed.html
rename to talks/2023-types/build/Category.Monad.Indexed.html
diff --git a/talks/2023-types/_build/Category.Monad.html b/talks/2023-types/build/Category.Monad.html
similarity index 100%
rename from talks/2023-types/_build/Category.Monad.html
rename to talks/2023-types/build/Category.Monad.html
diff --git a/talks/2023-types/_build/Data.Bool.Base.html b/talks/2023-types/build/Data.Bool.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Bool.Base.html
rename to talks/2023-types/build/Data.Bool.Base.html
diff --git a/talks/2023-types/_build/Data.Bool.Properties.html b/talks/2023-types/build/Data.Bool.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Data.Bool.Properties.html
rename to talks/2023-types/build/Data.Bool.Properties.html
diff --git a/talks/2023-types/_build/Data.Empty.Irrelevant.html b/talks/2023-types/build/Data.Empty.Irrelevant.html
similarity index 100%
rename from talks/2023-types/_build/Data.Empty.Irrelevant.html
rename to talks/2023-types/build/Data.Empty.Irrelevant.html
diff --git a/talks/2023-types/_build/Data.Empty.html b/talks/2023-types/build/Data.Empty.html
similarity index 100%
rename from talks/2023-types/_build/Data.Empty.html
rename to talks/2023-types/build/Data.Empty.html
diff --git a/talks/2023-types/_build/Data.Fin.Base.html b/talks/2023-types/build/Data.Fin.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Fin.Base.html
rename to talks/2023-types/build/Data.Fin.Base.html
diff --git a/talks/2023-types/_build/Data.Fin.Patterns.html b/talks/2023-types/build/Data.Fin.Patterns.html
similarity index 100%
rename from talks/2023-types/_build/Data.Fin.Patterns.html
rename to talks/2023-types/build/Data.Fin.Patterns.html
diff --git a/talks/2023-types/_build/Data.Fin.Properties.html b/talks/2023-types/build/Data.Fin.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Data.Fin.Properties.html
rename to talks/2023-types/build/Data.Fin.Properties.html
diff --git a/talks/2023-types/_build/Data.Fin.html b/talks/2023-types/build/Data.Fin.html
similarity index 100%
rename from talks/2023-types/_build/Data.Fin.html
rename to talks/2023-types/build/Data.Fin.html
diff --git a/talks/2023-types/_build/Data.List.Base.html b/talks/2023-types/build/Data.List.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.Base.html
rename to talks/2023-types/build/Data.List.Base.html
diff --git a/talks/2023-types/_build/Data.List.Membership.Propositional.html b/talks/2023-types/build/Data.List.Membership.Propositional.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.Membership.Propositional.html
rename to talks/2023-types/build/Data.List.Membership.Propositional.html
diff --git a/talks/2023-types/_build/Data.List.Membership.Setoid.html b/talks/2023-types/build/Data.List.Membership.Setoid.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.Membership.Setoid.html
rename to talks/2023-types/build/Data.List.Membership.Setoid.html
diff --git a/talks/2023-types/_build/Data.List.Relation.Unary.All.html b/talks/2023-types/build/Data.List.Relation.Unary.All.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.Relation.Unary.All.html
rename to talks/2023-types/build/Data.List.Relation.Unary.All.html
diff --git a/talks/2023-types/_build/Data.List.Relation.Unary.Any.html b/talks/2023-types/build/Data.List.Relation.Unary.Any.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.Relation.Unary.Any.html
rename to talks/2023-types/build/Data.List.Relation.Unary.Any.html
diff --git a/talks/2023-types/_build/Data.List.html b/talks/2023-types/build/Data.List.html
similarity index 100%
rename from talks/2023-types/_build/Data.List.html
rename to talks/2023-types/build/Data.List.html
diff --git a/talks/2023-types/_build/Data.Maybe.Base.html b/talks/2023-types/build/Data.Maybe.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Maybe.Base.html
rename to talks/2023-types/build/Data.Maybe.Base.html
diff --git a/talks/2023-types/_build/Data.Nat.Base.html b/talks/2023-types/build/Data.Nat.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Nat.Base.html
rename to talks/2023-types/build/Data.Nat.Base.html
diff --git a/talks/2023-types/_build/Data.Nat.Properties.Core.html b/talks/2023-types/build/Data.Nat.Properties.Core.html
similarity index 100%
rename from talks/2023-types/_build/Data.Nat.Properties.Core.html
rename to talks/2023-types/build/Data.Nat.Properties.Core.html
diff --git a/talks/2023-types/_build/Data.Nat.Properties.html b/talks/2023-types/build/Data.Nat.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Data.Nat.Properties.html
rename to talks/2023-types/build/Data.Nat.Properties.html
diff --git a/talks/2023-types/_build/Data.Nat.html b/talks/2023-types/build/Data.Nat.html
similarity index 100%
rename from talks/2023-types/_build/Data.Nat.html
rename to talks/2023-types/build/Data.Nat.html
diff --git a/talks/2023-types/_build/Data.Product.html b/talks/2023-types/build/Data.Product.html
similarity index 100%
rename from talks/2023-types/_build/Data.Product.html
rename to talks/2023-types/build/Data.Product.html
diff --git a/talks/2023-types/_build/Data.Sum.Base.html b/talks/2023-types/build/Data.Sum.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Sum.Base.html
rename to talks/2023-types/build/Data.Sum.Base.html
diff --git a/talks/2023-types/_build/Data.Sum.Properties.html b/talks/2023-types/build/Data.Sum.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Data.Sum.Properties.html
rename to talks/2023-types/build/Data.Sum.Properties.html
diff --git a/talks/2023-types/_build/Data.These.Base.html b/talks/2023-types/build/Data.These.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.These.Base.html
rename to talks/2023-types/build/Data.These.Base.html
diff --git a/talks/2023-types/_build/Data.Unit.Base.html b/talks/2023-types/build/Data.Unit.Base.html
similarity index 100%
rename from talks/2023-types/_build/Data.Unit.Base.html
rename to talks/2023-types/build/Data.Unit.Base.html
diff --git a/talks/2023-types/_build/Data.Unit.Properties.html b/talks/2023-types/build/Data.Unit.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Data.Unit.Properties.html
rename to talks/2023-types/build/Data.Unit.Properties.html
diff --git a/talks/2023-types/_build/Data.Unit.html b/talks/2023-types/build/Data.Unit.html
similarity index 100%
rename from talks/2023-types/_build/Data.Unit.html
rename to talks/2023-types/build/Data.Unit.html
diff --git a/talks/2023-types/_build/Function.Base.html b/talks/2023-types/build/Function.Base.html
similarity index 100%
rename from talks/2023-types/_build/Function.Base.html
rename to talks/2023-types/build/Function.Base.html
diff --git a/talks/2023-types/_build/Function.Bundles.html b/talks/2023-types/build/Function.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Function.Bundles.html
rename to talks/2023-types/build/Function.Bundles.html
diff --git a/talks/2023-types/_build/Function.Core.html b/talks/2023-types/build/Function.Core.html
similarity index 100%
rename from talks/2023-types/_build/Function.Core.html
rename to talks/2023-types/build/Function.Core.html
diff --git a/talks/2023-types/_build/Function.Definitions.Core1.html b/talks/2023-types/build/Function.Definitions.Core1.html
similarity index 100%
rename from talks/2023-types/_build/Function.Definitions.Core1.html
rename to talks/2023-types/build/Function.Definitions.Core1.html
diff --git a/talks/2023-types/_build/Function.Definitions.Core2.html b/talks/2023-types/build/Function.Definitions.Core2.html
similarity index 100%
rename from talks/2023-types/_build/Function.Definitions.Core2.html
rename to talks/2023-types/build/Function.Definitions.Core2.html
diff --git a/talks/2023-types/_build/Function.Definitions.html b/talks/2023-types/build/Function.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Function.Definitions.html
rename to talks/2023-types/build/Function.Definitions.html
diff --git a/talks/2023-types/_build/Function.Equality.html b/talks/2023-types/build/Function.Equality.html
similarity index 100%
rename from talks/2023-types/_build/Function.Equality.html
rename to talks/2023-types/build/Function.Equality.html
diff --git a/talks/2023-types/_build/Function.Equivalence.html b/talks/2023-types/build/Function.Equivalence.html
similarity index 100%
rename from talks/2023-types/_build/Function.Equivalence.html
rename to talks/2023-types/build/Function.Equivalence.html
diff --git a/talks/2023-types/_build/Function.Injection.html b/talks/2023-types/build/Function.Injection.html
similarity index 100%
rename from talks/2023-types/_build/Function.Injection.html
rename to talks/2023-types/build/Function.Injection.html
diff --git a/talks/2023-types/_build/Function.Metric.Bundles.html b/talks/2023-types/build/Function.Metric.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Bundles.html
rename to talks/2023-types/build/Function.Metric.Bundles.html
diff --git a/talks/2023-types/_build/Function.Metric.Core.html b/talks/2023-types/build/Function.Metric.Core.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Core.html
rename to talks/2023-types/build/Function.Metric.Core.html
diff --git a/talks/2023-types/_build/Function.Metric.Definitions.html b/talks/2023-types/build/Function.Metric.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Definitions.html
rename to talks/2023-types/build/Function.Metric.Definitions.html
diff --git a/talks/2023-types/_build/Function.Metric.Nat.Bundles.html b/talks/2023-types/build/Function.Metric.Nat.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Nat.Bundles.html
rename to talks/2023-types/build/Function.Metric.Nat.Bundles.html
diff --git a/talks/2023-types/_build/Function.Metric.Nat.Core.html b/talks/2023-types/build/Function.Metric.Nat.Core.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Nat.Core.html
rename to talks/2023-types/build/Function.Metric.Nat.Core.html
diff --git a/talks/2023-types/_build/Function.Metric.Nat.Definitions.html b/talks/2023-types/build/Function.Metric.Nat.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Nat.Definitions.html
rename to talks/2023-types/build/Function.Metric.Nat.Definitions.html
diff --git a/talks/2023-types/_build/Function.Metric.Nat.Structures.html b/talks/2023-types/build/Function.Metric.Nat.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Nat.Structures.html
rename to talks/2023-types/build/Function.Metric.Nat.Structures.html
diff --git a/talks/2023-types/_build/Function.Metric.Nat.html b/talks/2023-types/build/Function.Metric.Nat.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Nat.html
rename to talks/2023-types/build/Function.Metric.Nat.html
diff --git a/talks/2023-types/_build/Function.Metric.Structures.html b/talks/2023-types/build/Function.Metric.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Function.Metric.Structures.html
rename to talks/2023-types/build/Function.Metric.Structures.html
diff --git a/talks/2023-types/_build/Function.Structures.html b/talks/2023-types/build/Function.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Function.Structures.html
rename to talks/2023-types/build/Function.Structures.html
diff --git a/talks/2023-types/_build/Function.html b/talks/2023-types/build/Function.html
similarity index 100%
rename from talks/2023-types/_build/Function.html
rename to talks/2023-types/build/Function.html
diff --git a/talks/2023-types/_build/Level.html b/talks/2023-types/build/Level.html
similarity index 100%
rename from talks/2023-types/_build/Level.html
rename to talks/2023-types/build/Level.html
diff --git a/talks/2023-types/_build/Relation.Binary.Bundles.html b/talks/2023-types/build/Relation.Binary.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Bundles.html
rename to talks/2023-types/build/Relation.Binary.Bundles.html
diff --git a/talks/2023-types/_build/Relation.Binary.Consequences.html b/talks/2023-types/build/Relation.Binary.Consequences.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Consequences.html
rename to talks/2023-types/build/Relation.Binary.Consequences.html
diff --git a/talks/2023-types/_build/Relation.Binary.Construct.Converse.html b/talks/2023-types/build/Relation.Binary.Construct.Converse.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Construct.Converse.html
rename to talks/2023-types/build/Relation.Binary.Construct.Converse.html
diff --git a/talks/2023-types/_build/Relation.Binary.Construct.NaturalOrder.Left.html b/talks/2023-types/build/Relation.Binary.Construct.NaturalOrder.Left.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Construct.NaturalOrder.Left.html
rename to talks/2023-types/build/Relation.Binary.Construct.NaturalOrder.Left.html
diff --git a/talks/2023-types/_build/Relation.Binary.Construct.NonStrictToStrict.html b/talks/2023-types/build/Relation.Binary.Construct.NonStrictToStrict.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Construct.NonStrictToStrict.html
rename to talks/2023-types/build/Relation.Binary.Construct.NonStrictToStrict.html
diff --git a/talks/2023-types/_build/Relation.Binary.Core.html b/talks/2023-types/build/Relation.Binary.Core.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Core.html
rename to talks/2023-types/build/Relation.Binary.Core.html
diff --git a/talks/2023-types/_build/Relation.Binary.Definitions.html b/talks/2023-types/build/Relation.Binary.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Definitions.html
rename to talks/2023-types/build/Relation.Binary.Definitions.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Bundles.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Bundles.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Bundles.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Bundles.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Core.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Core.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Core.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Core.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Definitions.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Definitions.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Definitions.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Structures.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.Structures.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.Structures.html
diff --git a/talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.html b/talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Indexed.Heterogeneous.html
rename to talks/2023-types/build/Relation.Binary.Indexed.Heterogeneous.html
diff --git a/talks/2023-types/_build/Relation.Binary.Lattice.html b/talks/2023-types/build/Relation.Binary.Lattice.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Lattice.html
rename to talks/2023-types/build/Relation.Binary.Lattice.html
diff --git a/talks/2023-types/_build/Relation.Binary.Morphism.Definitions.html b/talks/2023-types/build/Relation.Binary.Morphism.Definitions.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Morphism.Definitions.html
rename to talks/2023-types/build/Relation.Binary.Morphism.Definitions.html
diff --git a/talks/2023-types/_build/Relation.Binary.Morphism.Structures.html b/talks/2023-types/build/Relation.Binary.Morphism.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Morphism.Structures.html
rename to talks/2023-types/build/Relation.Binary.Morphism.Structures.html
diff --git a/talks/2023-types/_build/Relation.Binary.Properties.Poset.html b/talks/2023-types/build/Relation.Binary.Properties.Poset.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Properties.Poset.html
rename to talks/2023-types/build/Relation.Binary.Properties.Poset.html
diff --git a/talks/2023-types/_build/Relation.Binary.Properties.Preorder.html b/talks/2023-types/build/Relation.Binary.Properties.Preorder.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Properties.Preorder.html
rename to talks/2023-types/build/Relation.Binary.Properties.Preorder.html
diff --git a/talks/2023-types/_build/Relation.Binary.Properties.TotalOrder.html b/talks/2023-types/build/Relation.Binary.Properties.TotalOrder.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Properties.TotalOrder.html
rename to talks/2023-types/build/Relation.Binary.Properties.TotalOrder.html
diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Algebra.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Algebra.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Algebra.html
rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Algebra.html
diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Core.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Core.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Core.html
rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Core.html
diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.Properties.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.Properties.html
rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.Properties.html
diff --git a/talks/2023-types/_build/Relation.Binary.PropositionalEquality.html b/talks/2023-types/build/Relation.Binary.PropositionalEquality.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.PropositionalEquality.html
rename to talks/2023-types/build/Relation.Binary.PropositionalEquality.html
diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Double.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Double.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Double.html
rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Double.html
diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Single.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Single.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Single.html
rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Single.html
diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Base.Triple.html b/talks/2023-types/build/Relation.Binary.Reasoning.Base.Triple.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Reasoning.Base.Triple.html
rename to talks/2023-types/build/Relation.Binary.Reasoning.Base.Triple.html
diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Preorder.html b/talks/2023-types/build/Relation.Binary.Reasoning.Preorder.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Reasoning.Preorder.html
rename to talks/2023-types/build/Relation.Binary.Reasoning.Preorder.html
diff --git a/talks/2023-types/_build/Relation.Binary.Reasoning.Setoid.html b/talks/2023-types/build/Relation.Binary.Reasoning.Setoid.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Reasoning.Setoid.html
rename to talks/2023-types/build/Relation.Binary.Reasoning.Setoid.html
diff --git a/talks/2023-types/_build/Relation.Binary.Structures.html b/talks/2023-types/build/Relation.Binary.Structures.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.Structures.html
rename to talks/2023-types/build/Relation.Binary.Structures.html
diff --git a/talks/2023-types/_build/Relation.Binary.html b/talks/2023-types/build/Relation.Binary.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Binary.html
rename to talks/2023-types/build/Relation.Binary.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Decidable.Core.html b/talks/2023-types/build/Relation.Nullary.Decidable.Core.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Decidable.Core.html
rename to talks/2023-types/build/Relation.Nullary.Decidable.Core.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Decidable.html b/talks/2023-types/build/Relation.Nullary.Decidable.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Decidable.html
rename to talks/2023-types/build/Relation.Nullary.Decidable.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Negation.Core.html b/talks/2023-types/build/Relation.Nullary.Negation.Core.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Negation.Core.html
rename to talks/2023-types/build/Relation.Nullary.Negation.Core.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Negation.html b/talks/2023-types/build/Relation.Nullary.Negation.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Negation.html
rename to talks/2023-types/build/Relation.Nullary.Negation.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Product.html b/talks/2023-types/build/Relation.Nullary.Product.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Product.html
rename to talks/2023-types/build/Relation.Nullary.Product.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Reflects.html b/talks/2023-types/build/Relation.Nullary.Reflects.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Reflects.html
rename to talks/2023-types/build/Relation.Nullary.Reflects.html
diff --git a/talks/2023-types/_build/Relation.Nullary.Sum.html b/talks/2023-types/build/Relation.Nullary.Sum.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.Sum.html
rename to talks/2023-types/build/Relation.Nullary.Sum.html
diff --git a/talks/2023-types/_build/Relation.Nullary.html b/talks/2023-types/build/Relation.Nullary.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Nullary.html
rename to talks/2023-types/build/Relation.Nullary.html
diff --git a/talks/2023-types/_build/Relation.Unary.Properties.html b/talks/2023-types/build/Relation.Unary.Properties.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Unary.Properties.html
rename to talks/2023-types/build/Relation.Unary.Properties.html
diff --git a/talks/2023-types/_build/Relation.Unary.html b/talks/2023-types/build/Relation.Unary.html
similarity index 100%
rename from talks/2023-types/_build/Relation.Unary.html
rename to talks/2023-types/build/Relation.Unary.html
diff --git a/talks/2023-types/_build/Strict.html b/talks/2023-types/build/Strict.html
similarity index 100%
rename from talks/2023-types/_build/Strict.html
rename to talks/2023-types/build/Strict.html
diff --git a/talks/2023-types/_build/img/cat.gif b/talks/2023-types/build/img/cat.gif
similarity index 100%
rename from talks/2023-types/_build/img/cat.gif
rename to talks/2023-types/build/img/cat.gif
diff --git a/talks/2023-types/_build/my.css b/talks/2023-types/build/my.css
similarity index 100%
rename from talks/2023-types/_build/my.css
rename to talks/2023-types/build/my.css
diff --git a/talks/2023-types/_build/present.html b/talks/2023-types/build/present.html
similarity index 100%
rename from talks/2023-types/_build/present.html
rename to talks/2023-types/build/present.html
diff --git a/talks/2023-types/index.html b/talks/2023-types/index.html
index ce649a0..032f2ea 100644
--- a/talks/2023-types/index.html
+++ b/talks/2023-types/index.html
@@ -1 +1 @@
-
+