Remaining: cleaning of t2t files (remove unnecessary options)
@@ -20,6 +20,7 @@ doc:
clean:
cabal clean
bash bin/clean_html
gf:
cabal build rgl-none
The note is not visible to the blocked user.