Greeter session

This PR requires #191 and replaces #188.