Looks like @minsky hasn't received any replies!