Agreed. I have just added it to the Rationality Power Tools wiki page to start out with; someone can move it if there’s a more appropriate place.
Something on the sidebar would be nicer, of course.
Agreed. I have just added it to the Rationality Power Tools wiki page to start out with; someone can move it if there’s a more appropriate place.
Something on the sidebar would be nicer, of course.