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