diff --git a/aux/attic/p480/arch_x86_64/f_impl.c b/_aux/attic/p480/arch_x86_64/f_impl.c
similarity index 100%
rename from aux/attic/p480/arch_x86_64/f_impl.c
rename to _aux/attic/p480/arch_x86_64/f_impl.c
diff --git a/aux/attic/p480/arch_x86_64/f_impl.h b/_aux/attic/p480/arch_x86_64/f_impl.h
similarity index 100%
rename from aux/attic/p480/arch_x86_64/f_impl.h
rename to _aux/attic/p480/arch_x86_64/f_impl.h
diff --git a/aux/attic/p480/f_arithmetic.c b/_aux/attic/p480/f_arithmetic.c
similarity index 100%
rename from aux/attic/p480/f_arithmetic.c
rename to _aux/attic/p480/f_arithmetic.c
diff --git a/aux/attic/p521/arch_ref64/f_impl.c b/_aux/attic/p521/arch_ref64/f_impl.c
similarity index 100%
rename from aux/attic/p521/arch_ref64/f_impl.c
rename to _aux/attic/p521/arch_ref64/f_impl.c
diff --git a/aux/attic/p521/arch_ref64/f_impl.h b/_aux/attic/p521/arch_ref64/f_impl.h
similarity index 100%
rename from aux/attic/p521/arch_ref64/f_impl.h
rename to _aux/attic/p521/arch_ref64/f_impl.h
diff --git a/aux/attic/p521/arch_x86_64_r12/f_impl.c b/_aux/attic/p521/arch_x86_64_r12/f_impl.c
similarity index 100%
rename from aux/attic/p521/arch_x86_64_r12/f_impl.c
rename to _aux/attic/p521/arch_x86_64_r12/f_impl.c
diff --git a/aux/attic/p521/arch_x86_64_r12/f_impl.h b/_aux/attic/p521/arch_x86_64_r12/f_impl.h
similarity index 100%
rename from aux/attic/p521/arch_x86_64_r12/f_impl.h
rename to _aux/attic/p521/arch_x86_64_r12/f_impl.h
diff --git a/aux/attic/p521/f_arithmetic.c b/_aux/attic/p521/f_arithmetic.c
similarity index 100%
rename from aux/attic/p521/f_arithmetic.c
rename to _aux/attic/p521/f_arithmetic.c
diff --git a/aux/curve.sage b/_aux/curve.sage
similarity index 100%
rename from aux/curve.sage
rename to _aux/curve.sage
diff --git a/aux/decaffeinate_curve25519.sage b/_aux/decaffeinate_curve25519.sage
similarity index 100%
rename from aux/decaffeinate_curve25519.sage
rename to _aux/decaffeinate_curve25519.sage
diff --git a/aux/decaffeinate_ed25519_too.sage b/_aux/decaffeinate_ed25519_too.sage
similarity index 100%
rename from aux/decaffeinate_ed25519_too.sage
rename to _aux/decaffeinate_ed25519_too.sage
diff --git a/aux/idealized.sage b/_aux/idealized.sage
similarity index 100%
rename from aux/idealized.sage
rename to _aux/idealized.sage
diff --git a/aux/ristretto/ristretto.sage b/_aux/ristretto/ristretto.sage
similarity index 100%
rename from aux/ristretto/ristretto.sage
rename to _aux/ristretto/ristretto.sage
diff --git a/aux/ristretto/ristretto.tex b/_aux/ristretto/ristretto.tex
similarity index 100%
rename from aux/ristretto/ristretto.tex
rename to _aux/ristretto/ristretto.tex
diff --git a/aux/ristretto/ristretto_work.txt b/_aux/ristretto/ristretto_work.txt
similarity index 100%
rename from aux/ristretto/ristretto_work.txt
rename to _aux/ristretto/ristretto_work.txt