Hi! I can't seem to edit comments on the forge -- it lets me attempt it, but it swallows the edit and doesn't actually change its contents. Jonathan hit this at https://forge.sourceware.org/gcc/gcc-TEST/pulls/1#issuecomment-36 and I did as well at https://forge.sourceware.org/gcc/gcc-TEST/pulls/2#issuecomment-41 when I tried to add a link to my other ML post here. thanks, sam