Looks like @jlp hasn't received any replies!