Thank you for the description of how you encountered this crash. That was a massive help & I've just released version 5.18, which fixes it.
