f71e41e81c
* commit '6f190a71c5344f35bc05b80a7630cd8415b9dada': add redirects for devsite, as per I2f3c62a7a18f370c376e1edf6dc9c43983bc6edb