@chrysn, We were just talking about whether we should make an official 2015.03-3 release, or just go to 2016.02 or smth.. (which would allow us to add one or two new features). In terms of Debian maintenance, are there any huge differences between those two strategies?
-Marius
