Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.16) Gecko/20080722 SeaMonkey/1.1.11
At the request of the GNU Webmasters, I've renamed all the pages for the
web site from filename.en.html to just filename.html and adjusted all
the links at http://www.gnu.org/software/grub/. If I missed anything or
a page needs an update, please let me know.