No, that's ion3 and that was the end of it. AwesomeWM then got most of its users....