Looks like @bjaey hasn't received any replies yet!