Looks like @casadin hasn't received any replies!