Currently, such snippets cause the following error:
error: x.md:51:1:
method xyz cannot be a main method since it cannot be accessed statically
@main def xyz(): Unit =
^^^^^
maybe it would make sense to include an option to filter out @main from the snippets text, so that example code could still be verified, but also copy-pasteable for anybody wanting to try on their own?