Dev. checkpoint: Touchups.
Dev. checkpoint: client-side specs.