Looks like @artdep hasn't received any replies!