The smoothness of the real projective deformation spaces of orderable Coxeter 3-polytopes (with Suhyoung Choi), submitted, arXiv:2502.03770