Looks like @tonclei hasn't received any replies!