doc: Add a note about actor-alive? being likely to be deprecated.