[development] Re: [infrastructure] Drupal.org should have better URL aliases