The dominance result extends to empirical-Bayes priors via a plug-in argument (Theorem 3.2). Replication status: replicated.
lines 285–290 in main.tex