-
BTW, at some point in the future, I may take this blog down. Like, I won't delete it; I'll just move the files so nginx can't serve them.
But I'll probably do it temporarily if I need to and just put the files back afterward. So, if it is gone at some point, just check back again in a few days.