BTW, how close does it get us to smooth animations? Do you think double-buffering will still be needed?
Double buffering will be part of the package (of this change). I've already rewritten pixmap abstraction to enable that - that change is merged in master. Then animations will be just a matter of putting things together by the programmer (until we decide on some public API for convenience).
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!