Input: docs - split input docs into kernel- and user-facing