Extension and userscript to make Favorite and Ignored tags sortable on Stack Exchange sites