GUI background blur uses box blur even though linear blur is calculated

The shader for calculating the blur for the GUI background uses box blur, even though it calculates linear blur. Linear blur looks a lot better than box blur, but is just not used. The shader should be updated to use this linear blur instead of the box blur that it currently uses.

The shader in question:
assets/minecraft/shaders/program/blur.fsh