Looks like @xenodoki hasn't received any replies!