Looks like @bergmann hasn't received any replies!