Same MD5 from that file too, AAA5960A3061DA1F08D944D8E7017BD6
Then it's possible that the MD5 from OP's first post is wrong. But for OLD 3DS US version that I have, the MD5 matches.
The link from that github page is mostly reliable, but I guess you should check other NEW 3DSE users to make sure.