Board Thread:Help!/@comment-4139960-20130708231515/@comment-1432718-20130709005805

I don't know if there's a policy, but I would prefer "miner" or "boy" to "unnamed miner" or "unnamed boy" (just for the infobox name variable).