Question Question or two about 'stat file <player_name>'

I'm pretty sure the "file" option was an after market addition to the original do_stat() command and the level check was put in a general "rule of thumb" security thing. Change at your leisure.