been. This will prevent some confusion and ease the future gnome3 merge. discussed with and ok jasper@