Looks like @bjaey hasn't received any replies!