various old docs etc