Update the documentation of receive1{,Or}. Closes #257