So, apparently (!), disabling local discovery only disables the transmission of announcements. This could be considered a feature or a bug. I’m leaning towards feature, since it’s easy to avoid using discovery announcements (just don’t use dynamic peers) and I could see it being useful to have a node be silent but still use others discovery announcements.