bug#39955: wxmaxima: broken help menus

[Kei Kebreau]

This bug appears to have been fixed by the patches sent on July 31,
pushed to master as commits e79fe4f675 and 93d9737d2b respectively.

Thanks for reporting this, and please let us know if you continue to
have issues with wxMaxima on Guix!