module switch_hole(position, notches=use_notched_holes) {
/* Cherry MX switch hole with the center at `position`. Sizes come
from the ErgoDox design. */
module switch_hole(position, notches=use_notched_holes) {
/* Cherry MX switch hole with the center at `position`. Sizes come
from the ErgoDox design. */