A change to allposts.xml RSS feed

I'm using Tinderbox to generate this website, so RSS feeds are not a gimme. I have to build them myself. For short, title-less posts such as this one, I wanted a toggle for whether to include it in the allposts.xml RSS feed. I have been using a user attribute named "Crosspost" but that name no longer describes what it does very well, so I created a new attribute named "IncludeInRSS" which does what it says on the tin. I've set "IncludeInRSS=true" for this post, so you should be seeing it via RSS.