Firmware is flashed with a stock Libreboot release with SeaBIOS and GRUB.

The SSD has had Debian installed, I tweaked /etc/default/grub, and tested that it boots and runs smoothly.

Upgraded to 8GB RAM, and 120GB SSD.

Includes AC adapter.

Things to note:

* Assume that the battery needs to be replaced.

* The display has a small, thin pressure mark of slightly greater brightness (near right edge, about a quarter up from bottom), which I only noticed on an all-white background, and then didn't notice later.  I can't find it in the high-res photos of screen.

* Bluetooth has been removed, and microphone has been permanently disabled.  The idea is that you plug in a headset/webcam only while you intend to use it.

Condition is otherwise good, with only moderate normal wear.  This unit has spent most of its time stored as a backup.