(details to follow in subsequent commit message)