They pixel-perfectly copied and recreated it in BitFontMaker2[0] (source[1]).

Not a nice thing to do to a type designer or a foundry, but a gaming studio/Notch(?) won't probably care.

[0] - https://www.pentacom.jp/pentacom/bitfontmaker2/

[1] - https://github.com/IdreesInc/Minecraft-Font