[[!comment format=mdwn
 username="joey"
 subject="""comment 4"""
 date="2017-11-07T18:19:39Z"
 content="""
Thanks for the reproducion recipe, @rfourquet. That worked for me.

The bug submitter closed this bug, but I'm reopening it since this seems a
legitimate bug report and we know how to reproduce it too.
"""]]
