Add hole check example code to documentation