[[!comment format=mdwn
 username="joey"
 subject="""comment 1"""
 date="2016-12-30T22:26:10Z"
 content="""
This is a known bug, that is supposed to be fixed in 6.20161210.

However, the fix involved upgrading the ghc compiler. I think that probably
this has not been done in the neurodebian build yet. I will mention it to
yoh again.
"""]]
