Planet MariaDB has been reworked from scratch, getting a new instance with the same look and feel as the rest of mariadb.org. Three news items, related to that: One bad, one neutral, one good. I’m saving the good one for last, as I hope you will like it. Bad news: The old Planet had five different RSS feeds, we now have only one. We maintain the format changes only on one RSS feed, which means that some of you will have to update your RSS feed to https://mariadb.org/planet-feed.xml (also listed on Planet MariaDB). That said, we are working on further redirects;…