Looks like @dodecahedron hasn't received any replies!