Follow
Been issuing <details> for a while now, but the <summary> tag is new to me, very nice!
https://nedbatchelder.com//blog/201912/fancy_console_output_in_github_comments.html
