Looks like @dodisberg hasn't received any replies!