Minor changes to get_user_availability code
Doc fix and builder fix for free/busy