I remember when those pens first came out, I cautioned against using them and was flamed and ridiculed. They were not acid-free and not designed for use on fabric, and it really bothers me that a lot of quilt shops sell them as if they are.
Hope your student finds a way to successfully remove the marks.