pub fn not_running_message() -> StringExpand description
The line serve --stop and daemon stop print, and exit 1 after, when no
daemon runs for the active data dir. Names the dir so that a caller with
a scratch LEAN_CTX_DATA_DIR sees which instance it asked about.