By popular demand (= a colleague of mine complained once about 3 months ago), my blog's RSS feed now contains the whole post again.