holoirc: add code for retrieving and using the default user profile