Lining attached, piping trimmed, top-stitching added.

Now I need to think of something to put inside it.

Learning point for next time: a padded lining takes up space, so for a perfect fit, it should be smaller than the outer walls.