I'm not sure that this is the same as freedesktop #5697 or Debian #261088. In any case, in current Dapper, I'm able to assign shortcuts to these keys using the GNOME preferences, which didn't work before, so my problem is addressed.
I'm not sure that this is the same as freedesktop #5697 or Debian #261088. In any case, in current Dapper, I'm able to assign shortcuts to these keys using the GNOME preferences, which didn't work before, so my problem is addressed.