Looks like @biconvexity hasn't received any replies!