Post 190706 deleted:
This post was deleted for the following reason: That's a shitty thing that happened but it's not clear to me why there should be a post about this. -- cortex