Is it possible to edit the web pages in the Profile Manager user portal?
I was able to locate the source for these pages.  The comments on this question by ioi's were leading in the right direction.  The root directory for the app is /usr/share/devicemgr/.  The portal is actually a Ruby on Rails app, so there is no direct HTML to edit.  However, there are CSS files that can be edited to fit your needs.  The CSS files relating to the page I posted are located in /usr/share/devicemgr/backend/public/start_ota/.