I just messed up my computer, so I might have some trouble posting over the next few days. Maybe not. It depends on whether I find time to work on it, and whether or not this post is successful. It seems to be messing up often, so even this post might not tell the whole story.