Any C backed Python api should be defined in shared-bindings with inline Sphinx docs using \\|. Move all of machine there plus other 'standard' libraries such as uos and utime.