[[!comment format=mdwn
 username="joey"
 subject="""comment 9"""
 date="2022-08-01T17:06:50Z"
 content="""
Looks like that PR build did succeed later. I don't know where the 
resulting artifact would have ended up.
"""]]
