[archimedes]: Minor change just in case
[archimedes]: Not EDT filtered by default