Attempting to answer my own questions:
> Is there a straightforward way of acquiring the ATI/Radeon graphics
> driver so I can get round circles and not egg-shaped ones ?
> Anything I can get with sudo apt-get install ?
Out of desperation I tried this series of commands:
> sudo add-apt-repository ppc:ubuntu-x-swat/x-updates
> sudo apt-get install xserver-xorg-video-ati
[system said that xserver-xorg-video-ati is already installed]
And then I changed /etc/X11/xorg.conf thusly:
> Section "Device"
> # Identifier "ProSavage"
> Identifier "Radeon"
> Driver "radeon"
> # Option "vesa" "on"
> End Section
Alas, rebooting had no effect whatsoever. Same appearance as always, Sysytem
Settings --> Displays still sees only the built-in graphics, and the monitor
resolutions still list only generic settings, but none have my monitor's
native 8:5 aspect ratio.
dmesg | tail reveals nothing.