OK, I guess. Hard to be more concise.

i agree.  something like this matches both intentions although it is wordy. may 4 is worth recording though, i feel

@@ -14,2 +14,2 @@
-<gloss>National People's Day</gloss>
-<gloss g_type="expl">1985-2006 holiday on May 4, replaced by Greenery Day</gloss>
+<gloss>citizen's holiday</gloss>
+<gloss g_type="expl">by law, any weekday that falls between two other national holidays (e.g. between 1985 and 2006 May 4, now Greenery Day)</gloss>

https://ja.wikipedia.org/wiki/国民の休日
"国民の休日（こくみんのきゅうじつ）は、日本において、国民の祝日に関する法律（祝日法）第3条第3項[1]で定められた休日の通称である。

憲法記念日など固有の名称を持つ休日が祝日法の第2条で「国民の祝日」（祝日）という総称のもと羅列的に規定されているのに対し、この「国民の休
日」は第3条第2項による「振替休日」と同様に「国民の祝日」と区別して規定されている。なお祝日法においてはこの「国民の休日」と「振替休日」は
いずれも固有の名称を持たない単なる休日だが、本記事中では便宜上区別して表記する。
...
前後が祝日である平日は、国民の休日となり、休日となる。
元々、5月上旬における飛石連休の解消・改善を望む当時の世論に応える形で1985年12月27日に祝日法が改正され、導入されたものであるが、5月4日に
限らず、祝日と祝日に挟まれた平日を全て休日にする制度であることから、後の祝日移動に伴い、5月以外の月にも国民の休日が現れることとなった。"

I should maybe have been clearer - I think GG5 has it wrong. I think the note "by law, any weekday that falls between two 
other national holidays" was correct but I was questioning how suitable "national holiday" itself was as the main gloss.

GG5, 
https://en.wikipedia.org/wiki/Public_holidays_in_Japan

This might be better.

@@ -13 +13,3 @@
-<gloss>national holiday (by law, any weekday that falls between two other national holidays)</gloss>
+<xref type="see" seq="1555310">みどりの日・みどりのひ</xref>
+<gloss>National People's Day</gloss>
+<gloss g_type="expl">1985-2006 holiday on May 4, replaced by Greenery Day</gloss>

gg5
こくみんのきゅうじつ【国民の休日】 □(kokuminnoky□jitsu)
〔5 月 4 日〕 National People's Day.
but that's a typo or whatever as it's actually May 2.
https://en.wikipedia.org/wiki/Public_holidays_in_Japan
"Extra Holiday"

I feel that "national holiday" is maybe not the best gloss?

@@ -10,0 +11 @@
+<pos>&exp;</pos>