sagemathgh-39865: include more files in doc (schemes)
    
namely a few missing files that were not yet in the doc

See sagemath#39862 and sagemath#39863

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
    
URL: sagemath#39865
Reported by: Frédéric Chapoton
Reviewer(s): David Coudert

Author: Release Manager

src/doc/en/reference/arithmetic_curves/index.rst

@@ -60,6 +60,7 @@ The following relate to elliptic curves over local nonarchimedean fields.
    sage/schemes/elliptic_curves/ell_local_data
    sage/schemes/elliptic_curves/kodaira_symbol
    sage/schemes/elliptic_curves/ell_tate_curve
+   sage/schemes/elliptic_curves/ell_padic_field
 
 Analytic properties over `\CC`.
 
@@ -88,16 +89,15 @@ To be sorted
 .. toctree::
    :maxdepth: 1
 
+   sage/schemes/elliptic_curves/BSD
+   sage/schemes/elliptic_curves/cardinality
    sage/schemes/elliptic_curves/descent_two_isogeny
    sage/schemes/elliptic_curves/ell_egros
-   sage/schemes/elliptic_curves/ell_padic_field
    sage/schemes/elliptic_curves/gp_simon
+   sage/schemes/elliptic_curves/kraus
    sage/schemes/elliptic_curves/mod5family
    sage/schemes/elliptic_curves/weierstrass_transform
 
-.. Not included because prove_BSD is bound in ell_rational_field, leading to duplicate citations
-.. sage/schemes/elliptic_curves/BSD
-
 Hyperelliptic curves
 ====================
 
@@ -119,6 +119,7 @@ Hyperelliptic curves
    sage/schemes/hyperelliptic_curves/jacobian_g2
    sage/schemes/hyperelliptic_curves/jacobian_homset
    sage/schemes/hyperelliptic_curves/jacobian_morphism
+   sage/schemes/hyperelliptic_curves/jacobian_endomorphism_utils
 
    sage/schemes/hyperelliptic_curves/hyperelliptic_g2
    sage/schemes/hyperelliptic_curves/invariants

src/doc/en/reference/schemes/index.rst

@@ -45,6 +45,7 @@ Projective Schemes
    sage/schemes/projective/projective_subscheme
    sage/schemes/projective/projective_rational_point
    sage/schemes/projective/projective_homset
+   sage/schemes/projective/proj_bdd_height
 
 Products of Projective Spaces
 -----------------------------

src/sage/schemes/elliptic_curves/BSD.py

@@ -337,7 +337,7 @@ def prove_BSD(E, verbosity=0, two_desc='mwrank', proof=None, secs_hi=5,
     - [Kat2004]_
     - [Kol1991]_
     - [LW2015]_
-    - [LS]
+    - [LS]_
     - [Maz1978]_
     - [Rub1991]_
     - [SW2013]_

src/sage/schemes/elliptic_curves/addition_formulas_ring.py

@@ -1,3 +1,6 @@
+"""
+Addition formula for elliptic curves over rings
+"""
 
 def _add(E, P, Q):
     r"""