html-edit: insert images from local files (needs to work with proper links)
html-edit: insert images from local files (needs to work with proper links)

tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,DrXyzzy/smc