i submitted the bug request although it seems a little frivolous since it probably falls into the feature/capability category more than a bug per se.
I seem to remember being able to download the whole WP documentation file a while back in 2006/2007 but maybe I’m just being wishful.
This seems like a simple fix so hopefully the team can make it happen.