I added a filter to the microsub-server that posts an entry to the feed, when my name is…

I added a filter to the microsub-server that posts an entry to the feed, when my name is mentioned. Let's try this: Peter.