diff --git a/infra/build-server/devnet3/devnet3.env b/infra/build-server/devnet3/devnet3.conf
similarity index 100%
rename from infra/build-server/devnet3/devnet3.env
rename to infra/build-server/devnet3/devnet3.conf
diff --git a/infra/build-server/devnet3/devnet3.sh b/infra/build-server/devnet3/devnet3.sh
index a3daa87f6..cef4560f5 100755
--- a/infra/build-server/devnet3/devnet3.sh
+++ b/infra/build-server/devnet3/devnet3.sh
@@ -9,12 +9,12 @@
 # lines. No unit yet: the processes are detached (setsid nohup) under the build user like the Devnet 2 seed; units follow once the
 # network is green. The old devnet's node1 and observer-node are not touched.
 set -euo pipefail
-HERE=$(cd "$(dirname "$0")" && pwd); . "$HERE/devnet3.env"
+HERE=$(cd "$(dirname "$0")" && pwd); . "$HERE/devnet3.conf"
 KEY="${IGNEUM_BUILD_KEY:-$HOME/.ssh/igneum_ed25519}"; HOST=$(head -1 "${IGNEUM_BUILD_HOST_FILE:-$HOME/.config/igneum/build-server}" | tr -d '[:space:]')
 SSH=(ssh -i "$KEY" -o BatchMode=yes -o ConnectTimeout=15 "$HOST")
 say() { echo "$(TZ=Europe/London date '+%H:%M:%S %Z') devnet3: $*" >&2; }
 mode="${1:-}"; shift || true; GO=0; [ "${1:-}" = --go ] && GO=1
-case "$NET_FLAGS" in *suffix=3*) say "NET_FLAGS is still the placeholder ($NET_FLAGS): the node lane's flag goes into devnet3.env first" ;; esac
+case "$NET_FLAGS" in *suffix=3*) say "NET_FLAGS is still the placeholder ($NET_FLAGS): the node lane's flag goes into devnet3.conf first" ;; esac
 case "$IGNEUMD" in *PLACEHOLDER*) [ "$mode" = status ] || { say "IGNEUMD is the placeholder: the 0.3.22 candidate's build fills it"; [ "$GO" = 0 ] || exit 1; } ;; esac
 start_one() {   # <name> <appdir> <p2p bind> <rpc> <json> <evm> <log> [extra args...]
   local name="$1" appdir="$2" p2p="$3" rpc="$4" json="$5" evm="$6" log="$7"; shift 7