+geogebra 5.0 from its repo.
Drop no longer used fish apt key file.  (Not actively uninstalling it though)