Start a new development version 0.4.13
Dump RNG seeds to stderr, not to a file
Mention the new Allure web address
Switch to the new Allure github site