add a deprecation comment so we remember to remove it eventually ;)