Small modifications in the wordpress.org banner