src/doc/bootstrap: Generate src/doc/en/reference/repl/options.txt #29884
Description
... from the output of sage -advanced.
This is for #29111, where much of options.rst will be replaced by an include of the new txt file.
CC: @jhpalmieri @kiwifb @orlitzky
Component: documentation
Author: Matthias Koeppe
Branch: 885092e
Reviewer: John Palmieri
Issue created by migration from https://trac.sagemath.org/ticket/29884