Monthly Archives: October 2018

Any time someone publishes a “The top n GNOME Shell extensions” article, there’s a fair chance that it will include the AlternateTab extension. That is a bit sad to be honest. Not because it would be wrong for users to prefer a … Continue reading →