Okay, we’ll see if it gets logged. This line:
makes it look like a help post instead of a bug report.