I am told that xxxterm has been re-branded "xombrero" upstream. Perhaps this change came with proper icons?
I am told that xxxterm has been re-branded "xombrero" upstream. Perhaps this change came with proper icons?