Looks like @jasm hasn't received any replies!