Endringer

==Bruksnumre==

''Navnet'' Pipenholt skal ifølge L. Berg skrive seg fra at det engang bodde en spillemann her som spilte i brylluper og derfor ble kalt «pipær'n»; med det kan stemme Ivar Aasens forklaring i Norsk Ordbok av ordet pipar, som han oversetter med «piper, fløytespiller». Etter en annen forklaring, kanskje mindre sannsynlig, skyldes navnet at det engang bodde noen skotter her, som vel da arbeidet på Hagneshammeren, og som peip på sekkepipe. Bruket skal opprinnelig ha hett ''Moholt''.