Ah!! I subscribed to the RSS feed for this forum long ago. I haven't received anything since April 16.
I thought this forum was going dead!
Did the feed address change or something? I can't figure out how to access the URL from Google Reader, so I added the current link and all the newer posts show up. What happened?