Looks like @dodecagonal hasn't received any replies!