B blog.mariadb.org MySQL man pages silently relicensed away from GPL 398 points endijs 13 years ago 180 comments