20230826

Notable changes:

• fixed player initialization for recordings with custom font family set
• fixed display of recording metadata when OS is known while term/shell are not
• upgraded JS player to the latest version
• implemented basic WebFinger endpoint