Local theorems don't show up in search results

[myreen]

Theorem foo[local]:
  1 + 2 + 3 = 6:num
Proof
  fs []
QED

(* the following don't print anything *)
print_match [] “_ = 6:num”;
print_find "foo"; 

[ordinarymath]

Can a easy solution be to just ignore locals when in interactive mode since export_theory doesn't work now?