Looks like @davidaltuve hasn't received any replies!