2 Commits

Include renames

Author	SHA1	Message	Date
jochen	8d8e5c9a7e	Issues 211, 212, 214, 216, 217 resolved with their proofs; 215's fix recorded	2026-10-04 00:24:53 +02:00
jochen	08cea893bd	Issue 217: a refused announcement took down every container's runtime, and the console with it	2026-10-03 22:47:28 +02:00