+ Welcome to The Virus Lounge. We're a random group of
+ people who feel undersocialised in these trying times, and
+ we've decided that there isn't enough spontaneous socialising
+ on the internet.
+
+
+ Anyone can join The Virus Lounge, if it is currently open. Its
+ current status is shown in the topic of the ##tvl
+ channel on Freenode.
+
+
+
+
+
+ '';
+in runCommandNoCC "website" {} ''
+ mkdir -p $out/static
+ cp ${homepage} $out/index.html
+ cp -r ${./static}/* $out/static
+
+ # Some assets are stolen from the blog
+ cp ${depot.web.homepage}/static/jetbrains-* $out/static
+ cp ${depot.web.homepage}/static/tazjin.css $out/static
+''
+