Local history: Why Mudgee's Library building is called the 'Town Hall'