Since my last upgrade, gnome-pager no longer seems to store the properties I associate with it. Is this a bug, or is there a known workaround? Thanks, Stuart.