Is there some standard place to keep our libraries & board variants vs copying them into the new environment every time?

Just downloaded 1.0.2

Topic		Replies	Views
Arduino 0010 now available News	8	3298	May 6, 2021
Arduino 0017 now available. News	36	12557	May 6, 2021
Library IDE 1.x	2	997	May 5, 2021
IDE Arduino 1.0 ..... e i miei vecchi sketch? Generale	4	2113	May 7, 2021
Problems after installing Arduino 1.0.5 IDE 1.x	4	2011	May 5, 2021