User blog comment:Rappy 4187/Technical Update: February 3, 2015/@comment-1038387-20150204220503

Just reporting something I've noticed since the update: in the bottom bar, the Theme Designer option is listed twice for me.