I don’t know why I’ve never bothered to find out before, especially because it is something I have had need of on numerous occasions, but I’ve finally found out how to mark off a list using HTML. Now I can do this:
The dots look ugly, but they serve a purpose, and will suffice until some other method comes along to replace it.