Looks like @asamari hasn't received any replies!