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