The formatting issue with Project 2 has been fixed. The {{ }} notation used
for Hoare triples was being interpreted as Jekyll/Liquid template expressions,
causing them to be stripped from the rendered page. The fix was to wrap code
blocks containing Hoare triples in Liquid raw tags, which tells Jekyll to treat
the enclosed content as literal text rather than template expressions.
The Project 2 page should now display all exercises correctly. No need to download the Markdown source anymore.
Thank you Claude.