Looks like @benrt hasn't received any replies!