Title: Anglo-Australian Observatory IRPS user's guide