[[!comment format=mdwn
 username="joey"
 subject="""comment 5"""
 date="2017-09-05T20:23:44Z"
 content="""
Looks good to me, merged. Thanks for your contribution!

(I did make a simplification to it
in [[!commit 0a6ad2b17419fd877789053c87b95866cfc39c46]],
which seems ok by inspection to me, but I've not tested. Please
let me know if I somehow got that wrong.)
"""]]
