Looks like my first posting didn't make it. Sorry for this cryptic one; confusing w/o my first post
I'm not looking for a particular manual.
I was checking for any software downloads this AM and saw that the OS dropdown wasn't working.
Then I checked to see other downloads and the site reported no manuals available.
I confirmed problem on W10 Edge, MacBook Air Safari and iPadOS15 Safari.
Hi, everyone! Our IT team has taken care of this. A visit to the pages in question should display your computer's OS correctly and the dropdown should give you options to change to other OSes just as it had in the past.
Please let us know if you encounter any other problems. Have a great day!