On Friday, 21 November 2025 at 18:49:32 UTC, Walter Bright wrote: > `final` is better anyway. ...is it possible to edit your configs so that people on the web interface can see specifically what comments you're reply to?