NameHist Minecraft Bukkit plugin that uses the Mojang API to get name history information for admins, on BukkitDev