User-level gutter documentation