In case anybody is looking for one (I was and could not find one anywhere), the attachments are terminal icons with a hash (#) character.
This is not my area of expertise so improvement suggestions are welcome. Is PNG the best format for icons? Is 48x48 a good size choice?
In case anyone is curious how it was made, Terminal.svg was copied and loaded in Gimp. Most of the shading was removed (plain black background is more distinct at small display sizes such as in...