Docker comments revised

tests/src/Dockerfile

@@ -1,25 +1,12 @@
-# Start with a base image containing build tools and libraries
+#Change to debian:stable-20250224⁠ if build fails
 FROM debian:stable
 
-# Set the working directory
 WORKDIR /src
 
-# Install necessary build tools
 RUN apt-get update && apt-get install -y \
     build-essential \
     gcc
-#    g++ \
-#    make \
-#    wget \
-#    curl \
-#    git \
-#    ca-certificates \
-#    bison \
-#    flex \
-#    python3 \
-#    texinfo
 
-# Install cross-compilers for x86, ARM, MIPS, and RISC-V
 RUN apt-get install -y \
     gcc-12-arm-linux-gnueabihf \
     gcc-12-mips-linux-gnu \