difference() {
    import("/home/alex/Downloads/star_ornament_02.stl");
    linear_extrude(height = 0.5) {
       text("Cory", size = 20);
     }
}