The link shows the submitted glyph, but the evidence does not. It shows the simplified version of 門.

Provided by Nick Chan: 汉字海 p. 132

If ROK hopes to keep the current one, it is better to add 門~门 as one new KR Norm. Rule.

Until the 1900s introduction of PRC simplified characters, 门 was not a separate concept from 門. I believe it is inappropriate to nitpick and say that evidence from pre-modern Korea shows 门 and not 門, and I would support a new normalization rule declaring that such PRC simplified forms of traditional calligraphic derivation are not to be identified in pre-modern works (with the exception of Vietnam who has already repeatedly shown preference for such interpretation).

1. This character used as a personal name.
2. 門~门, KR will add new normalization rule in new version.